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);
}