From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Mon, 14 May 2018 10:20:02 +0000 (+0000)
Subject: Merge "Support for edge widths in rendering"
X-Git-Tag: v1.43.0~136^2~482
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=3bfaa62dfc5a3bb901e5b51626b959299c2a7b08;hp=138667b7aae3a7984a8d0bb2a39461ce342b08e7

Merge "Support for edge widths in rendering"
---

diff --git a/bundles/org.simantics.graphviz/src/org/simantics/graphviz/internal/xdot/SetStyle.java b/bundles/org.simantics.graphviz/src/org/simantics/graphviz/internal/xdot/SetStyle.java
index 5269ac09d..1098c53fd 100644
--- a/bundles/org.simantics.graphviz/src/org/simantics/graphviz/internal/xdot/SetStyle.java
+++ b/bundles/org.simantics.graphviz/src/org/simantics/graphviz/internal/xdot/SetStyle.java
@@ -34,6 +34,10 @@ public class SetStyle implements DrawCommand {
 		    g.setStroke(DASHED);
 		else if(styleName.equals("dotted"))
             g.setStroke(DOTTED);
+		else if(styleName.startsWith("setlinewidth(")) {
+		    double w = Double.parseDouble(styleName.substring(13, styleName.length()-1));
+		    g.setStroke(new BasicStroke((float)w, BasicStroke.CAP_SQUARE, BasicStroke.JOIN_MITER, 10.0f, ((BasicStroke)g.getStroke()).getDashArray(), 0.0f));
+		}
 		else
 		    System.out.println("Unknown style: " + styleName);
 	}