diff options
| -rw-r--r-- | main/Main.java | 2 | ||||
| -rw-r--r-- | resources/style.css | 17 |
2 files changed, 18 insertions, 1 deletions
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 |