コード例 #1
0
 public static void setTheme(Properties themesProps) {
   currentThemeName = "graphiteTheme";
   if (myTheme == null) {
     myTheme = new GraphiteDefaultTheme();
   }
   if ((myTheme != null) && (themesProps != null)) {
     myTheme.setUpColor();
     myTheme.setProperties(themesProps);
     myTheme.setUpColorArrs();
     AbstractLookAndFeel.setTheme(myTheme);
   }
 }
コード例 #2
0
  protected void initClassDefaults(UIDefaults table) {
    if (!"graphiteTheme".equals(currentThemeName)) {
      setTheme("Default");
    }
    super.initClassDefaults(table);
    Object[] uiDefaults = {
      // BaseLookAndFeel classes
      "LabelUI", BaseLabelUI.class.getName(),
      "ToggleButtonUI", BaseToggleButtonUI.class.getName(),
      "SeparatorUI", BaseSeparatorUI.class.getName(),
      "TextFieldUI", BaseTextFieldUI.class.getName(),
      "TextAreaUI", BaseTextAreaUI.class.getName(),
      "EditorPaneUI", BaseEditorPaneUI.class.getName(),
      "PasswordFieldUI", BasePasswordFieldUI.class.getName(),
      "ComboBoxUI", BaseComboBoxUI.class.getName(),
      "ToolTipUI", BaseToolTipUI.class.getName(),
      "TreeUI", BaseTreeUI.class.getName(),
      "TableUI", BaseTableUI.class.getName(),
      "TableHeaderUI", BaseTableHeaderUI.class.getName(),
      "ScrollBarUI", BaseScrollBarUI.class.getName(),
      "ScrollPaneUI", BaseScrollPaneUI.class.getName(),
      "ProgressBarUI", BaseProgressBarUI.class.getName(),
      "PanelUI", BasePanelUI.class.getName(),
      "SplitPaneUI", BaseSplitPaneUI.class.getName(),
      "SliderUI", BaseSliderUI.class.getName(),
      "FileChooserUI", BaseFileChooserUI.class.getName(),
      "MenuBarUI", BaseMenuBarUI.class.getName(),
      "PopupMenuUI", BasePopupMenuUI.class.getName(),
      "PopupMenuSeparatorUI", BaseSeparatorUI.class.getName(),
      "DesktopPaneUI", BaseDesktopPaneUI.class.getName(),

      // GraphiteLookAndFeel classes
      "RadioButtonUI", GraphiteRadioButtonUI.class.getName(),
      "CheckBoxUI", GraphiteCheckBoxUI.class.getName(),
      "ButtonUI", GraphiteButtonUI.class.getName(),
      "MenuUI", GraphiteMenuUI.class.getName(),
      "MenuItemUI", GraphiteMenuItemUI.class.getName(),
      "CheckBoxMenuItemUI", GraphiteCheckBoxMenuItemUI.class.getName(),
      "RadioButtonMenuItemUI", GraphiteRadioButtonMenuItemUI.class.getName(),
      "TabbedPaneUI", GraphiteTabbedPaneUI.class.getName(),
      "ToolBarUI", GraphiteToolBarUI.class.getName(),
      "InternalFrameUI", GraphiteInternalFrameUI.class.getName(),
      "RootPaneUI", GraphiteRootPaneUI.class.getName(),
    };
    table.putDefaults(uiDefaults);
    if (JTattooUtilities.getJavaVersion() >= 1.5) {
      table.put("FormattedTextFieldUI", BaseFormattedTextFieldUI.class.getName());
      table.put("SpinnerUI", BaseSpinnerUI.class.getName());
    }
  }