Merge pull request #99 from ProgrammingLife3/fix/nodeStyle

Delfil · Delfil · commit d04887489516 · 2015-06-22T12:48:33.000+02:00
Fix node style
diff --git a/src/main/java/tudelft/ti2806/pl3/visualization/GraphView.java b/src/main/java/tudelft/ti2806/pl3/visualization/GraphView.java
@@ -134,7 +134,7 @@ public void generateGraph() {
 				double y = node.getY() * someSize;
 				graphNode.setAttribute("xy", node.getX(), y);
 				if (node.canUnwrap()) {
-					graphNode.addAttribute("ui.class", "BOX");
+					graphNode.addAttribute("ui.style", "shape: box;");
 				}
 				graphNode.addAttribute("ui.class", node.getOriginalNode().getClass().getSimpleName());
 				graphNode.addAttribute("ui.label",

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ public void generateGraph() {`
`134`	`134`	`double y = node.getY() * someSize;`
`135`	`135`	`graphNode.setAttribute("xy", node.getX(), y);`
`136`	`136`	`if (node.canUnwrap()) {`
`137`		`- graphNode.addAttribute("ui.class", "BOX");`
	`137`	`+ graphNode.addAttribute("ui.style", "shape: box;");`
`138`	`138`	`}`
`139`	`139`	`graphNode.addAttribute("ui.class", node.getOriginalNode().getClass().getSimpleName());`
`140`	`140`	`graphNode.addAttribute("ui.label",`