From 279586d5e7062c098ce4e02dbc7c4555048781e6 Mon Sep 17 00:00:00 2001 From: Loic Guegan <16000511@e003m01.istic.univ-rennes1.fr> Date: Fri, 18 Mar 2016 11:28:18 +0100 Subject: Add picture --- resources/images/r1.png | Bin 0 -> 34078 bytes resources/images/r2.png | Bin 0 -> 49538 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 resources/images/r1.png create mode 100644 resources/images/r2.png (limited to 'resources') diff --git a/resources/images/r1.png b/resources/images/r1.png new file mode 100644 index 0000000..3fd022d Binary files /dev/null and b/resources/images/r1.png differ diff --git a/resources/images/r2.png b/resources/images/r2.png new file mode 100644 index 0000000..475daa8 Binary files /dev/null and b/resources/images/r2.png differ -- cgit v1.2.3 From 0676d16b3a5c13e2b75e97e7140b938b323cd79e Mon Sep 17 00:00:00 2001 From: manzerbredes Date: Mon, 21 Mar 2016 13:20:30 +0100 Subject: Change style --- main/Main.java | 2 +- resources/style.css | 17 +++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 resources/style.css (limited to 'resources') diff --git a/main/Main.java b/main/Main.java index ff9217e..51e3c59 100644 --- a/main/Main.java +++ b/main/Main.java @@ -17,7 +17,7 @@ public class Main { Grid g=new Grid(); - System.setProperty("gs.ui.renderer", "org.graphstream.ui.j2dviewer.J2DGraphRenderer"); + System.setProperty("org.graphstream.ui.renderer", "org.graphstream.ui.j2dviewer.J2DGraphRenderer"); Graph graph = new SingleGraph("Tutorial 1"); graph.addAttribute("ui.stylesheet", "url('resources/style.css')"); diff --git a/resources/style.css b/resources/style.css new file mode 100644 index 0000000..55782ea --- /dev/null +++ b/resources/style.css @@ -0,0 +1,17 @@ +node { + size: 64px; + fill-mode: image-scaled; + fill-image: url('resources/images/r1.png'); + +} + +edge { + text-size: 20; + size:2; + text-offset:25,25; +} + +graph { + padding: 50; + +} \ No newline at end of file -- cgit v1.2.3