コード例 #1
0
  /**
   * 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"));
  }
コード例 #2
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);
  }
コード例 #3
0
  /**
   * 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);
    }
  }
コード例 #4
0
  /**
   * 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);
  }
コード例 #5
0
  /**
   * 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"));
  }
コード例 #6
0
/**
 * Reads the Theme-properties from the properties file
 *
 * @author Marvin Froehlich (aka Qudus)
 */
public class ThemeProperties {
  private static final String DEFAULT_FONT_NAME = "Monospace";
  private static final String DEFAULT_FONT_STYLE = "";
  private static final String DEFAULT_FONT_SIZE = "12";
  private static final String DEFAULT_FONT_COLOR = "#000000";

  private static final String DEFAULT_FONT_DISABLED_NAME = DEFAULT_FONT_NAME;
  private static final String DEFAULT_FONT_DISABLED_STYLE = "ITALIC";
  private static final String DEFAULT_FONT_DISABLED_SIZE = DEFAULT_FONT_SIZE;
  private static final String DEFAULT_FONT_DISABLED_COLOR = "#7F7F7F";

  protected String name = "UNNAMED";

  protected HUDFont font = HUDFont.getFont(DEFAULT_FONT_NAME, HUDFont.FontStyle.PLAIN, 12);
  protected Colorf font_color = new Colorf(0f, 0f, 0f);

  protected HUDFont font_disabled =
      HUDFont.getFont(DEFAULT_FONT_NAME, HUDFont.FontStyle.ITALIC, 12);
  protected Colorf font_disabled_color = new Colorf(0.5f, 0.5f, 0.5f);

  protected HUDFont label_font = font;
  protected Colorf label_font_color = font_color;

  protected HUDFont label_font_disabled = font_disabled;
  protected Colorf label_font_disabled_color = font_disabled_color;

  protected HUDFont button_font = font;
  protected Colorf button_font_color = font_color;

  protected HUDFont button_font_disabled = font_disabled;
  protected Colorf button_font_disabled_color = font_disabled_color;

  protected boolean scrollbar_smoothscrolling = true;

  protected int slider_size_height = 23;
  protected int slider_handle_yoffset = 0;
  protected boolean slider_smoothsliding = true;

  protected int border_rounded_corners_size_bottom = 4;
  protected int border_rounded_corners_size_right = 4;
  protected int border_rounded_corners_size_top = 4;
  protected int border_rounded_corners_size_left = 4;
  protected int border_rounded_corners_size_ll_upper = 4;
  protected int border_rounded_corners_size_ll_right = 4;
  protected int border_rounded_corners_size_lr_left = 4;
  protected int border_rounded_corners_size_lr_upper = 4;
  protected int border_rounded_corners_size_ur_lower = 4;
  protected int border_rounded_corners_size_ur_left = 4;
  protected int border_rounded_corners_size_ul_right = 4;
  protected int border_rounded_corners_size_ul_lower = 4;

  protected int border_frame_size_bottom = 3;
  protected int border_frame_size_right = 3;
  protected int border_frame_size_top = 0;
  protected int border_frame_size_left = 3;
  protected int border_frame_size_ll_upper = 0;
  protected int border_frame_size_ll_right = 0;
  protected int border_frame_size_lr_left = 0;
  protected int border_frame_size_lr_upper = 0;
  protected int border_frame_size_ur_lower = 0;
  protected int border_frame_size_ur_left = 0;
  protected int border_frame_size_ul_right = 0;
  protected int border_frame_size_ul_lower = 0;

  protected int border_bevel_lowered_size_bottom = 2;
  protected int border_bevel_lowered_size_right = 2;
  protected int border_bevel_lowered_size_top = 2;
  protected int border_bevel_lowered_size_left = 2;
  protected int border_bevel_lowered_size_ll_upper = 0;
  protected int border_bevel_lowered_size_ll_right = 0;
  protected int border_bevel_lowered_size_lr_left = 0;
  protected int border_bevel_lowered_size_lr_upper = 0;
  protected int border_bevel_lowered_size_ur_lower = 0;
  protected int border_bevel_lowered_size_ur_left = 0;
  protected int border_bevel_lowered_size_ul_right = 0;
  protected int border_bevel_lowered_size_ul_lower = 0;

  protected int border_bevel_raised_size_bottom = 2;
  protected int border_bevel_raised_size_right = 2;
  protected int border_bevel_raised_size_top = 2;
  protected int border_bevel_raised_size_left = 2;
  protected int border_bevel_raised_size_ll_upper = 0;
  protected int border_bevel_raised_size_ll_right = 0;
  protected int border_bevel_raised_size_lr_left = 0;
  protected int border_bevel_raised_size_lr_upper = 0;
  protected int border_bevel_raised_size_ur_lower = 0;
  protected int border_bevel_raised_size_ur_left = 0;
  protected int border_bevel_raised_size_ul_right = 0;
  protected int border_bevel_raised_size_ul_lower = 0;

  protected int button_size_bottom = 10;
  protected int button_size_right = 10;
  protected int button_size_top = 10;
  protected int button_size_left = 10;

  protected int radiobutton_space_size = 5;

  protected int checkbox_space_size = 5;

  protected String progressbar_border_name = "bevel/lowered";
  protected HUDFont progressbar_label_font =
      HUDFont.getFont(DEFAULT_FONT_NAME, HUDFont.FontStyle.BOLD, 12);
  protected Colorf progressbar_label_font_color = Colorf.BLACK;

  protected int progressbar_bar_bottom_height = 0;
  protected int progressbar_bar_right_width = 0;
  protected int progressbar_bar_top_height = 0;
  protected int progressbar_bar_left_width = 0;

  protected String list_border_name = "bevel/lowered";
  protected Colorf list_background_color = null;
  protected Colorf list_background_color_disabled = null;
  protected boolean use_texture_for_list_background = false;
  protected int list_padding_bottom = 0;
  protected int list_padding_right = 0;
  protected int list_padding_top = 0;
  protected int list_padding_left = 3;
  protected Colorf list_selection_background = new Colorf(0.29f, 0.58f, 0.84f, 0.0f);
  protected Colorf list_selection_foreground = new Colorf(1.0f, 1.0f, 1.0f);

  protected String combobox_list_border_name = null;
  protected Colorf combobox_list_hover_background = new Colorf(0.29f, 0.58f, 0.84f, 0.0f);
  protected Colorf combobox_list_hover_foreground = new Colorf(1.0f, 1.0f, 1.0f);

  protected Colorf textfield_background_color = new Colorf(1.0f, 1.0f, 1.0f, 0.0f);
  protected int textfield_border_size_bottom = 2;
  protected int textfield_border_size_right = 2;
  protected int textfield_border_size_top = 2;
  protected int textfield_border_size_left = 2;

  protected String textfield_caret_texture = "black";

  protected int frame_title_height = 22;
  protected int frame_title_closebutton_width = 20;
  protected int frame_title_closebutton_height = 20;
  protected HUDFont frame_title_font =
      HUDFont.getFont(DEFAULT_FONT_NAME, HUDFont.FontStyle.BOLD, 12);
  protected Colorf frame_title_font_color = new Colorf(1f, 1f, 1f);
  protected Colorf frame_contentpane_background_color = null;
  protected String frame_contentpane_background_texture = null;

  protected String cursor_pointer1_texture = null;
  protected int cursor_pointer1_zero_x = 0;
  protected int cursor_pointer1_zero_y = 0;
  protected String cursor_pointer2_texture = null;
  protected int cursor_pointer2_zero_x = 0;
  protected int cursor_pointer2_zero_y = 0;
  protected String cursor_crosshair_texture = null;
  protected int cursor_crosshair_zero_x = 0;
  protected int cursor_crosshair_zero_y = 0;
  protected String cursor_text_texture = null;
  protected int cursor_text_zero_x = 0;
  protected int cursor_text_zero_y = 0;
  protected String cursor_help_texture = null;
  protected int cursor_help_zero_x = 0;
  protected int cursor_help_zero_y = 0;
  protected String cursor_wait_texture = null;
  protected int cursor_wait_zero_x = 0;
  protected int cursor_wait_zero_y = 0;

  /**
   * Parses the String and extrancts an int (font-style-contant)
   *
   * @param fontStyleString the font-style-contant as String
   */
  private static HUDFont.FontStyle string2FontStyle(String fontStyleString) {
    fontStyleString = fontStyleString.toUpperCase();

    HUDFont.FontStyle result = HUDFont.FontStyle.PLAIN;

    if (fontStyleString.indexOf("BOLD") >= 0) {
      if (fontStyleString.indexOf("ITALIC") >= 0) result = HUDFont.FontStyle.BOLD_ITALIC;
      else result = HUDFont.FontStyle.BOLD;
    } else if (fontStyleString.indexOf("ITALIC") >= 0) {
      result = HUDFont.FontStyle.ITALIC;
    }

    return (result);
  }

  /**
   * 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.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.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);
  }

  /**
   * Reads from a properties file of version 0.1.5
   *
   * @param themeProps the properties
   */
  private void read_0_1_5(Properties themeProps) {
    read_0_1_4(themeProps);

    String fontName = themeProps.getProperty("label.font.name", this.font.getName());
    String fontStyle =
        themeProps.getProperty("label.font.style", String.valueOf(this.font.getStyle()));
    String fontSize =
        themeProps.getProperty("label.font.size", String.valueOf(this.font.getSize()));

    this.label_font =
        HUDFont.getFont(fontName, string2FontStyle(fontStyle), Integer.parseInt(fontSize));

    String font_color = themeProps.getProperty("label.font.color", null);

    if (font_color == null) this.label_font_color = this.font_color;
    else this.label_font_color = Colorf.parseColor(font_color);
  }

  /**
   * 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.7
   *
   * @param themeProps the properties
   */
  private void read_0_1_7(Properties themeProps) {
    read_0_1_6(themeProps);

    this.cursor_pointer1_texture = themeProps.getProperty("cursor.pointer1.texture", null);
    this.cursor_pointer1_zero_x =
        Integer.parseInt(themeProps.getProperty("cursor.pointer1.zero.x", "0"));
    this.cursor_pointer1_zero_y =
        Integer.parseInt(themeProps.getProperty("cursor.pointer1.zero.y", "0"));
    this.cursor_pointer2_texture = themeProps.getProperty("cursor.pointer2.texture", null);
    this.cursor_pointer2_zero_x =
        Integer.parseInt(themeProps.getProperty("cursor.pointer2.zero.x", "0"));
    this.cursor_pointer2_zero_y =
        Integer.parseInt(themeProps.getProperty("cursor.pointer2.zero.y", "0"));
    this.cursor_crosshair_texture = themeProps.getProperty("cursor.crosshair.texture", null);
    this.cursor_crosshair_zero_x =
        Integer.parseInt(themeProps.getProperty("cursor.crosshair.zero.x", "0"));
    this.cursor_crosshair_zero_y =
        Integer.parseInt(themeProps.getProperty("cursor.crosshair.zero.y", "0"));
    this.cursor_text_texture = themeProps.getProperty("cursor.text.texture", null);
    this.cursor_text_zero_x = Integer.parseInt(themeProps.getProperty("cursor.text.zero.x", "0"));
    this.cursor_text_zero_y = Integer.parseInt(themeProps.getProperty("cursor.text.zero.y", "0"));
    this.cursor_help_texture = themeProps.getProperty("cursor.help.texture", null);
    this.cursor_help_zero_x = Integer.parseInt(themeProps.getProperty("cursor.help.zero.x", "0"));
    this.cursor_help_zero_y = Integer.parseInt(themeProps.getProperty("cursor.help.zero.y", "0"));
    this.cursor_wait_texture = themeProps.getProperty("cursor.wait.texture", null);
    this.cursor_wait_zero_x = Integer.parseInt(themeProps.getProperty("cursor.wait.zero.x", "0"));
    this.cursor_wait_zero_y = Integer.parseInt(themeProps.getProperty("cursor.wait.zero.y", "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);
  }

  private void read_2_0_0(Properties themeProps) {
    read_0_1_8(themeProps);
  }

  private static final long getVersionLong(int major, int minor, int revision) {
    return (major * 1000000000L + minor * 1000000L + revision * 1000L);
  }

  protected ThemeProperties() {}

  /**
   * Creates a new ThemeProperties instance and reads the properties from a properties-file.
   *
   * @param in InputStream to the properties-file
   */
  public ThemeProperties(InputStream in) throws IOException {
    this();

    Properties themeProps = new Properties();

    themeProps.load(in);

    String[] versionString = themeProps.getProperty("propsfile.version", "0.0.1").split("\\.");
    long version =
        Long.parseLong(versionString[0]) * 1000000000L
            + Long.parseLong(versionString[1]) * 1000000L
            + Long.parseLong(versionString[2]) * 1000L;

    if (version < 0L * 1000000000L + 1L * 1000000L + 1L * 1000L)
      throw new IllegalArgumentException("unsupported properties file");
    else if (version <= getVersionLong(0, 1, 1)) read_0_1_1(themeProps);
    else if (version <= getVersionLong(0, 1, 2)) read_0_1_2(themeProps);
    else if (version <= getVersionLong(0, 1, 3)) read_0_1_3(themeProps);
    else if (version <= getVersionLong(0, 1, 4)) read_0_1_4(themeProps);
    else if (version <= getVersionLong(0, 1, 5)) read_0_1_5(themeProps);
    else if (version <= getVersionLong(0, 1, 6)) read_0_1_6(themeProps);
    else if (version <= getVersionLong(0, 1, 7)) read_0_1_7(themeProps);
    else if (version <= getVersionLong(0, 1, 8)) read_0_1_8(themeProps);
    else if (version <= getVersionLong(2, 0, 0)) read_2_0_0(themeProps);
    else throw new IllegalArgumentException("unsupported properties file");
  }
}