public void initializeTextPane(JTextPane text_pane) {
text_pane.removeStyle("normal");
Style normal = text_pane.addStyle("normal", base_style);
text_pane.removeStyle("alternate");
Style alternate = text_pane.addStyle("alternate", normal);
int[] rgb = new int[3];
try {
String rgb_str =
settings_manager.getString("/gui/text windows/alternate background colour", "");
if (rgb_str != "") {
rgb = Util.getRGB(rgb_str);
StyleConstants.setBackground(alternate, new Color(rgb[0], rgb[1], rgb[2]));
}
} catch (NumberFormatException e) {
}
String format;
for (int i = 0; i < style_names.length; i++) {
format = style_names[i];
int len = format.length();
boolean valid_format = true;
// Duplicate the base style, and adjust the new copy to create the new style.
text_pane.removeStyle(format);
Style style = text_pane.addStyle(format, normal);
for (int c = 0; c < len; ) {
if (c > len - 2) {
valid_format = false;
break;
} else {
String arg;
String code = format.substring(c, c + 2);
c += 2;
if (code.equals(STYLE_FOREGROUND)) {
if (c > len - 6) {
valid_format = false;
break;
}
arg = format.substring(c, c + 6);
c += 6;
rgb[0] = 0xff;
rgb[1] = 0xff;
rgb[2] = 0xff;
try {
rgb = Util.getRGB(arg);
} catch (NumberFormatException e) {
valid_format = false;
break;
}
StyleConstants.setForeground(style, new Color(rgb[0], rgb[1], rgb[2]));
} else if (code.equals(STYLE_BACKGROUND)) {
if (c > len - 6) {
valid_format = false;
break;
}
arg = format.substring(c, c + 6);
c += 6;
rgb[0] = 0;
rgb[1] = 0;
rgb[2] = 0;
try {
rgb = Util.getRGB(arg);
} catch (NumberFormatException e) {
valid_format = false;
break;
}
StyleConstants.setBackground(style, new Color(rgb[0], rgb[1], rgb[2]));
} else if (code.equals(STYLE_BOLD)) {
StyleConstants.setBold(style, true);
} else if (code.equals(STYLE_ITALIC)) {
StyleConstants.setItalic(style, true);
} else if (code.equals(STYLE_UNDERLINE)) {
StyleConstants.setUnderline(style, true);
}
}
}
if (!valid_format) {
System.err.println(i18n_manager.getString("bad format", new Object[] {style_names[i]}));
}
}
}
