/** * Reads from a properties file of version 0.1.2 * * @param themeProps the properties */ private void read_0_1_2(Properties themeProps) { read_0_1_1(themeProps); String scrollbar_smoothscrolling = themeProps.getProperty("scrollbar.smoothscrolling", "true"); this.scrollbar_smoothscrolling = Boolean.parseBoolean(scrollbar_smoothscrolling); String radiobutton_space_size = themeProps.getProperty("radiobutton.space.size", "5"); this.radiobutton_space_size = Integer.parseInt(radiobutton_space_size); String checkbox_space_size = themeProps.getProperty("checkbox.space.size", "5"); this.checkbox_space_size = Integer.parseInt(checkbox_space_size); String frame_title_height = themeProps.getProperty("frame.title.height", "22"); String frame_title_closebutton_width = themeProps.getProperty("frame.title.closebutton.width", "20"); String frame_title_closebutton_height = themeProps.getProperty("frame.title.closebutton.height", "20"); this.frame_title_height = Integer.parseInt(frame_title_height); this.frame_title_closebutton_width = Integer.parseInt(frame_title_closebutton_width); this.frame_title_closebutton_height = Integer.parseInt(frame_title_closebutton_height); String frame_title_font_name = themeProps.getProperty("frame.title.font.name", "Verdana"); String frame_title_font_style = themeProps.getProperty("frame.title.font.style", "BOLD"); String frame_title_font_size = themeProps.getProperty("frame.title.font.size", "12"); String frame_title_font_color = themeProps.getProperty("frame.title.font.color", "#FFFFFF"); this.frame_title_font = HUDFont.getFont( frame_title_font_name, string2FontStyle(frame_title_font_style), Integer.parseInt(frame_title_font_size)); this.frame_title_font_color = Colorf.parseColor(frame_title_font_color); String frame_contentpane_background_color = themeProps.getProperty("frame.contentpane.background.color", null); this.frame_contentpane_background_texture = themeProps.getProperty("frame.contentpane.background.texture", null); if ((frame_contentpane_background_color == null) && (frame_contentpane_background_texture == null)) { this.frame_contentpane_background_color = Colorf.parseColor("#EFEFEF"); } else if (frame_contentpane_background_color != null) { this.frame_contentpane_background_color = Colorf.parseColor(frame_contentpane_background_color); } }
/** * Reads from a properties file of version 0.1.3 * * @param themeProps the properties */ private void read_0_1_3(Properties themeProps) { read_0_1_2(themeProps); this.progressbar_border_name = themeProps.getProperty("progressbar.border.name", "bevel/lowered"); String progressbar_label_font_name = themeProps.getProperty("progressbar.label.font.name", "Monospace"); String progressbar_label_font_style = themeProps.getProperty("progressbar.label.font.style", ""); String progressbar_label_font_size = themeProps.getProperty("progressbar.label.font.size", "12"); String progressbar_label_font_color = themeProps.getProperty("progressbar.label.font.color", "#000000"); this.progressbar_label_font = HUDFont.getFont( progressbar_label_font_name, string2FontStyle(progressbar_label_font_style), Integer.parseInt(progressbar_label_font_size)); this.font_color = Colorf.parseColor(progressbar_label_font_color); this.progressbar_bar_bottom_height = Integer.parseInt(themeProps.getProperty("progressbar.bar.bottom.height", "0")); this.progressbar_bar_right_width = Integer.parseInt(themeProps.getProperty("progressbar.bar.right.width", "0")); this.progressbar_bar_top_height = Integer.parseInt(themeProps.getProperty("progressbar.bar.top.height", "0")); this.progressbar_bar_left_width = Integer.parseInt(themeProps.getProperty("progressbar.bar.left.width", "0")); }
/** * Reads from a properties file of version 0.1.8 * * @param themeProps the properties */ private void read_0_1_8(Properties themeProps) { read_0_1_7(themeProps); String fontName = themeProps.getProperty("font.disabled.name", DEFAULT_FONT_DISABLED_NAME); String fontStyle = themeProps.getProperty("font.disabled.style", DEFAULT_FONT_DISABLED_STYLE); String fontSize = themeProps.getProperty("font.disabled.size", DEFAULT_FONT_DISABLED_SIZE); String font_color = themeProps.getProperty("font.disabled.color", DEFAULT_FONT_DISABLED_COLOR); this.font_disabled = HUDFont.getFont(fontName, string2FontStyle(fontStyle), Integer.parseInt(fontSize)); this.font_disabled_color = Colorf.parseColor(font_color); String fontName2 = themeProps.getProperty("label.font.disabled.name", this.font_disabled.getName()); String fontStyle2 = themeProps.getProperty( "label.font.disabled.style", String.valueOf(this.font_disabled.getStyle())); String fontSize2 = themeProps.getProperty( "label.font.disabled.size", String.valueOf(this.font_disabled.getSize())); this.label_font_disabled = HUDFont.getFont(fontName2, string2FontStyle(fontStyle2), Integer.parseInt(fontSize2)); String font_color2 = themeProps.getProperty("label.font.disabled.color", null); if (font_color2 == null) this.label_font_disabled_color = this.font_disabled_color; else this.label_font_disabled_color = Colorf.parseColor(font_color2); fontName2 = themeProps.getProperty("button.font.disabled.name", this.font_disabled.getName()); fontStyle2 = themeProps.getProperty( "button.font.disabled.style", String.valueOf(this.font_disabled.getStyle())); fontSize2 = themeProps.getProperty( "button.font.disabled.size", String.valueOf(this.font_disabled.getSize())); this.button_font_disabled = HUDFont.getFont(fontName2, string2FontStyle(fontStyle2), Integer.parseInt(fontSize2)); font_color2 = themeProps.getProperty("button.font.disabled.color", null); if (font_color2 == null) this.button_font_disabled_color = this.font_disabled_color; else this.button_font_disabled_color = Colorf.parseColor(font_color2); }
/** * Reads from a properties file of version 0.1.6 * * @param themeProps the properties */ private void read_0_1_6(Properties themeProps) { read_0_1_5(themeProps); String fontName = themeProps.getProperty("button.font.name", this.font.getName()); String fontStyle = themeProps.getProperty("button.font.style", String.valueOf(this.font.getStyle())); String fontSize = themeProps.getProperty("button.font.size", String.valueOf(this.font.getSize())); String font_color = themeProps.getProperty("button.font.color", null); this.button_font = HUDFont.getFont(fontName, string2FontStyle(fontStyle), Integer.parseInt(fontSize)); if (font_color == null) this.button_font_color = this.font_color; else this.button_font_color = Colorf.parseColor(font_color); }
/** * Reads from a properties file of version 0.1.1 * * @param themeProps the properties */ private void read_0_1_1(Properties themeProps) { this.name = themeProps.getProperty("theme.name", "UNNAMED"); String fontName = themeProps.getProperty("font.name", DEFAULT_FONT_NAME); String fontStyle = themeProps.getProperty("font.style", DEFAULT_FONT_STYLE); String fontSize = themeProps.getProperty("font.size", DEFAULT_FONT_SIZE); String font_color = themeProps.getProperty("font.color", DEFAULT_FONT_COLOR); this.font = HUDFont.getFont(fontName, string2FontStyle(fontStyle), Integer.parseInt(fontSize)); this.font_color = Colorf.parseColor(font_color); this.button_size_bottom = Integer.parseInt(themeProps.getProperty("button.size.bottom", "10")); this.button_size_right = Integer.parseInt(themeProps.getProperty("button.size.right", "10")); this.button_size_top = Integer.parseInt(themeProps.getProperty("button.size.top", "10")); this.button_size_left = Integer.parseInt(themeProps.getProperty("button.size.left", "10")); }
/** * Reads from a properties file of version 0.1.4 * * @param themeProps the properties */ private void read_0_1_4(Properties themeProps) { read_0_1_3(themeProps); this.border_rounded_corners_size_bottom = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.bottom", "4")); this.border_rounded_corners_size_right = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.right", "4")); this.border_rounded_corners_size_top = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.top", "4")); this.border_rounded_corners_size_left = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.left", "4")); this.border_rounded_corners_size_ll_upper = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ll.upper", "4")); this.border_rounded_corners_size_ll_right = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ll.right", "4")); this.border_rounded_corners_size_lr_left = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.lr.left", "4")); this.border_rounded_corners_size_lr_upper = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.lr.upper", "4")); this.border_rounded_corners_size_ur_lower = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ur.lower", "4")); this.border_rounded_corners_size_ur_left = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ur.left", "4")); this.border_rounded_corners_size_ul_right = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ul.right", "4")); this.border_rounded_corners_size_ul_lower = Integer.parseInt(themeProps.getProperty("border.rounded_corners.size.ul.lower", "4")); this.border_bevel_lowered_size_bottom = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.bottom", "2")); this.border_bevel_lowered_size_right = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.right", "2")); this.border_bevel_lowered_size_top = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.top", "2")); this.border_bevel_lowered_size_left = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.left", "2")); this.border_bevel_lowered_size_ll_upper = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ll.upper", "0")); this.border_bevel_lowered_size_ll_right = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ll.right", "0")); this.border_bevel_lowered_size_lr_left = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.lr.left", "0")); this.border_bevel_lowered_size_lr_upper = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.lr.upper", "0")); this.border_bevel_lowered_size_ur_lower = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ur.lower", "0")); this.border_bevel_lowered_size_ur_left = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ur.left", "0")); this.border_bevel_lowered_size_ul_right = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ul.right", "0")); this.border_bevel_lowered_size_ul_lower = Integer.parseInt(themeProps.getProperty("border.bevel.lowered.size.ul.lower", "0")); this.border_bevel_raised_size_bottom = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.bottom", "2")); this.border_bevel_raised_size_right = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.right", "2")); this.border_bevel_raised_size_top = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.top", "2")); this.border_bevel_raised_size_left = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.left", "2")); this.border_bevel_raised_size_ll_upper = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ll.upper", "0")); this.border_bevel_raised_size_ll_right = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ll.right", "00")); this.border_bevel_raised_size_lr_left = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.lr.left", "0")); this.border_bevel_raised_size_lr_upper = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.lr.upper", "0")); this.border_bevel_raised_size_ur_lower = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ur.lower", "0")); this.border_bevel_raised_size_ur_left = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ur.left", "0")); this.border_bevel_raised_size_ul_right = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ul.right", "0")); this.border_bevel_raised_size_ul_lower = Integer.parseInt(themeProps.getProperty("border.bevel.raised.size.ul.lower", "0")); this.border_frame_size_bottom = Integer.parseInt(themeProps.getProperty("border.frame.size.bottom", "3")); this.border_frame_size_right = Integer.parseInt(themeProps.getProperty("border.frame.size.right", "3")); this.border_frame_size_top = Integer.parseInt(themeProps.getProperty("border.frame.size.top", "0")); this.border_frame_size_left = Integer.parseInt(themeProps.getProperty("border.frame.size.left", "3")); this.border_frame_size_ll_upper = Integer.parseInt(themeProps.getProperty("border.frame.size.ll.upper", "0")); this.border_frame_size_ll_right = Integer.parseInt(themeProps.getProperty("border.frame.size.ll.right", "0")); this.border_frame_size_lr_left = Integer.parseInt(themeProps.getProperty("border.frame.size.lr.left", "0")); this.border_frame_size_lr_upper = Integer.parseInt(themeProps.getProperty("border.frame.size.lr.upper", "0")); this.border_frame_size_ur_lower = Integer.parseInt(themeProps.getProperty("border.frame.size.ur.lower", "0")); this.border_frame_size_ur_left = Integer.parseInt(themeProps.getProperty("border.frame.size.ur.left", "0")); this.border_frame_size_ul_right = Integer.parseInt(themeProps.getProperty("border.frame.size.ul.right", "0")); this.border_frame_size_ul_lower = Integer.parseInt(themeProps.getProperty("border.frame.size.ul.lower", "0")); this.list_border_name = themeProps.getProperty("list.border.name", "bevel/lowered"); String list_background = themeProps.getProperty("list.background", null); if (list_background == null) { this.list_background_color = null; this.use_texture_for_list_background = false; } else if (list_background.equalsIgnoreCase("texture")) { this.list_background_color = null; this.use_texture_for_list_background = true; } else { this.list_background_color = Colorf.parseColor(list_background); this.use_texture_for_list_background = false; } this.list_padding_bottom = Integer.parseInt(themeProps.getProperty("list.padding.bottom", "0")); this.list_padding_right = Integer.parseInt(themeProps.getProperty("list.padding.right", "0")); this.list_padding_top = Integer.parseInt(themeProps.getProperty("list.padding.top", "0")); this.list_padding_left = Integer.parseInt(themeProps.getProperty("list.padding.left", "3")); String list_selection_background = themeProps.getProperty("list.selection.background", null); String list_selection_foreground = themeProps.getProperty("list.selection.foreground", null); this.list_selection_background = (list_selection_background != null) ? Colorf.parseColor(list_selection_background) : null; this.list_selection_foreground = (list_selection_foreground != null) ? Colorf.parseColor(list_selection_foreground) : null; this.combobox_list_border_name = themeProps.getProperty("combobox.list.border.name", "bevel/raised"); String combobox_list_hover_background = themeProps.getProperty("combobox.list.hover.background", null); String combobox_list_hover_foreground = themeProps.getProperty("combobox.list.hover.foreground", null); this.combobox_list_hover_background = (combobox_list_hover_background != null) ? Colorf.parseColor(combobox_list_hover_background) : null; this.combobox_list_hover_foreground = (combobox_list_hover_foreground != null) ? Colorf.parseColor(combobox_list_hover_foreground) : null; String textfield_background_color = themeProps.getProperty("textfield.background", null); this.textfield_background_color = (textfield_background_color != null) ? Colorf.parseColor(textfield_background_color) : null; this.textfield_border_size_bottom = Integer.parseInt(themeProps.getProperty("textfield.border.size.bottom", "2")); this.textfield_border_size_right = Integer.parseInt(themeProps.getProperty("textfield.border.size.right", "2")); this.textfield_border_size_top = Integer.parseInt(themeProps.getProperty("textfield.border.size.top", "2")); this.textfield_border_size_left = Integer.parseInt(themeProps.getProperty("textfield.border.size.left", "2")); this.textfield_caret_texture = themeProps.getProperty("textfield.caret.texture", "black"); String slider_size_height = themeProps.getProperty("slider.size.height", "23"); String slider_handle_yoffset = themeProps.getProperty("slider.handle.yoffset", "0"); String slider_smoothsliding = themeProps.getProperty("slider.smoothsliding", "true"); this.slider_size_height = Integer.parseInt(slider_size_height); this.slider_handle_yoffset = Integer.parseInt(slider_handle_yoffset); this.slider_smoothsliding = Boolean.parseBoolean(slider_smoothsliding); }