public StyleManager(
SettingsManager settings_manager, DisplayManager display_manager, I18nManager i18n_manager) {
this.settings_manager = settings_manager;
this.display_manager = display_manager;
this.i18n_manager = i18n_manager;
Vector v = new Vector();
style_names = new String[0];
base_style = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
StyleConstants.setFontFamily(
base_style, settings_manager.getString("/gui/text windows/font face", "Lucida Console"));
StyleConstants.setFontSize(
base_style, settings_manager.getInt("/gui/text windows/font size", 14));
// Read in more styles based on highlight settings.
int i = 0;
String i_str;
String format;
while (GOD_IS_GOOD) {
i_str = Integer.toString(i);
format =
settings_manager.getString("/gui/text windows/highlighting/" + i_str + "/format", "");
if (format.equals("")) {
// No more highlight rules specified.
break;
}
v.add(format);
i++;
}
style_names = (String[]) v.toArray(style_names);
}
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]}));
}
}
}
