From 0676d16b3a5c13e2b75e97e7140b938b323cd79e Mon Sep 17 00:00:00 2001 From: manzerbredes Date: Mon, 21 Mar 2016 13:20:30 +0100 Subject: [PATCH] Change style --- main/Main.java | 2 +- resources/style.css | 17 +++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 resources/style.css 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