public AboutDialog(JFrame frame, URL aboutURL, String title) {
super(frame);
getContentPane().setLayout(new BorderLayout());
try {
text = Utilities.toString(aboutURL, Charset.forName("utf-8"));
} catch (IOException e) {
throw new IllegalArgumentException("cannot read about text from " + aboutURL);
}
text = Utilities.unixEncode(text);
showPanel();
setModal(true);
setTitle(title);
pack();
UIUtilities.centerWindow(this);
}
public static Stroke getStroke(StrokeType type, int width) {
Pair<StrokeType, Integer> key = Utilities.pair(type, width);
Stroke stroke = strokeCache.get(key);
if (stroke == null) {
int cap = BasicStroke.CAP_BUTT;
int join = BasicStroke.JOIN_ROUND;
float miterlimit = 1F;
float dash_phase = 0F;
stroke = new BasicStroke(width, cap, join, miterlimit, dashes[type.ordinal()], dash_phase);
synchronized (strokeCache) {
strokeCache.put(key, stroke);
}
}
return stroke;
}