mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-30 03:54:41 +08:00
8c1e9e340c
* javax/swing/AbstractAction.java (AbstractAction): Reformatted. (serialVersionUID): New private member variable. * javax/swing/plaf/BorderUIResource.java (serialVersionUID): New private member variable. * javax/swing/plaf/basic/BasicLookAndFeel.java (serialVersionUID): New private member variable. From-SVN: r65087
930 lines
46 KiB
Java
930 lines
46 KiB
Java
/* BasicLookAndFeel.java --
|
|
Copyright (C) 2002 Free Software Foundation, Inc.
|
|
|
|
This file is part of GNU Classpath.
|
|
|
|
GNU Classpath is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
any later version.
|
|
|
|
GNU Classpath is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GNU Classpath; see the file COPYING. If not, write to the
|
|
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
02111-1307 USA.
|
|
|
|
Linking this library statically or dynamically with other modules is
|
|
making a combined work based on this library. Thus, the terms and
|
|
conditions of the GNU General Public License cover the whole
|
|
combination.
|
|
|
|
As a special exception, the copyright holders of this library give you
|
|
permission to link this library with independent modules to produce an
|
|
executable, regardless of the license terms of these independent
|
|
modules, and to copy and distribute the resulting executable under
|
|
terms of your choice, provided that you also meet, for each linked
|
|
independent module, the terms and conditions of the license of that
|
|
module. An independent module is a module which is not derived from
|
|
or based on this library. If you modify this library, you may extend
|
|
this exception to your version of the library, but you are not
|
|
obligated to do so. If you do not wish to do so, delete this
|
|
exception statement from your version. */
|
|
|
|
|
|
package javax.swing.plaf.basic;
|
|
|
|
import java.awt.Color;
|
|
import java.awt.Dimension;
|
|
import java.awt.Font;
|
|
import java.awt.event.KeyEvent;
|
|
import java.io.Serializable;
|
|
import java.util.Enumeration;
|
|
import java.util.ResourceBundle;
|
|
import javax.swing.ImageIcon;
|
|
import javax.swing.KeyStroke;
|
|
import javax.swing.LookAndFeel;
|
|
import javax.swing.UIDefaults;
|
|
import javax.swing.plaf.BorderUIResource;
|
|
import javax.swing.plaf.ColorUIResource;
|
|
import javax.swing.plaf.DimensionUIResource;
|
|
import javax.swing.plaf.FontUIResource;
|
|
import javax.swing.plaf.IconUIResource;
|
|
import javax.swing.plaf.InsetsUIResource;
|
|
import javax.swing.text.JTextComponent;
|
|
|
|
/**
|
|
* BasicLookAndFeel
|
|
* @author Andrew Selkirk
|
|
*/
|
|
public abstract class BasicLookAndFeel extends LookAndFeel
|
|
implements Serializable
|
|
{
|
|
static final long serialVersionUID = 5484702182266873258L;
|
|
|
|
/**
|
|
* Constructor BasicLookAndFeel
|
|
*/
|
|
public BasicLookAndFeel()
|
|
{
|
|
// TODO
|
|
}
|
|
|
|
/**
|
|
* getDefaults
|
|
* @return UIDefaults
|
|
*/
|
|
public UIDefaults getDefaults()
|
|
{
|
|
// Variables
|
|
UIDefaults def = new UIDefaults();
|
|
// Initialize Class Defaults
|
|
initClassDefaults(def);
|
|
// Initialize System Colour Defaults
|
|
initSystemColorDefaults(def);
|
|
// Initialize Component Defaults
|
|
initComponentDefaults(def);
|
|
// Return UI Defaults
|
|
return def;
|
|
}
|
|
|
|
/**
|
|
* initClassDefaults
|
|
* @param value0 TODO
|
|
*/
|
|
protected void initClassDefaults(UIDefaults defaults)
|
|
{
|
|
// Variables
|
|
Object[] uiDefaults;
|
|
// Initialize Class Defaults
|
|
uiDefaults = new Object[] {
|
|
"ButtonUI", "javax.swing.plaf.basic.BasicButtonUI",
|
|
"CheckBoxMenuItemUI", "javax.swing.plaf.basic.BasicCheckBoxMenuItemUI",
|
|
"CheckBoxUI", "javax.swing.plaf.basic.BasicCheckBoxUI",
|
|
"ColorChooserUI", "javax.swing.plaf.basic.BasicColorChooserUI",
|
|
"ComboBoxUI", "javax.swing.plaf.basic.BasicComboBoxUI",
|
|
"DesktopIconUI", "javax.swing.plaf.basic.BasicDesktopIconUI",
|
|
"DesktopPaneUI", "javax.swing.plaf.basic.BasicDesktopPaneUI",
|
|
"EditorPaneUI", "javax.swing.plaf.basic.BasicEditorPaneUI",
|
|
"InternalFrameUI", "javax.swing.plaf.basic.BasicInternalFrameUI",
|
|
"LabelUI", "javax.swing.plaf.basic.BasicLabelUI",
|
|
"ListUI", "javax.swing.plaf.basic.BasicListUI",
|
|
"MenuBarUI", "javax.swing.plaf.basic.BasicMenuBarUI",
|
|
"MenuItemUI", "javax.swing.plaf.basic.BasicMenuItemUI",
|
|
"MenuUI", "javax.swing.plaf.basic.BasicMenuUI",
|
|
"OptionPaneUI", "javax.swing.plaf.basic.BasicOptionPaneUI",
|
|
"PanelUI", "javax.swing.plaf.basic.BasicPanelUI",
|
|
"PasswordFieldUI", "javax.swing.plaf.basic.BasicPasswordFieldUI",
|
|
"PopupMenuSeparatorUI", "javax.swing.plaf.basic.BasicPopupMenuSeparatorUI",
|
|
"PopupMenuUI", "javax.swing.plaf.basic.BasicPopupMenuUI",
|
|
"ProgressBarUI", "javax.swing.plaf.basic.BasicProgressBarUI",
|
|
"RadioButtonMenuItemUI", "javax.swing.plaf.basic.BasicRadioButtonMenuItemUI",
|
|
"RadioButtonUI", "javax.swing.plaf.basic.BasicRadioButtonUI",
|
|
"RootPaneUI", "javax.swing.plaf.basic.BasicRootPaneUI",
|
|
"ScrollBarUI", "javax.swing.plaf.basic.BasicScrollBarUI",
|
|
"ScrollPaneUI", "javax.swing.plaf.basic.BasicScrollPaneUI",
|
|
"SeparatorUI", "javax.swing.plaf.basic.BasicSeparatorUI",
|
|
"SliderUI", "javax.swing.plaf.basic.BasicSliderUI",
|
|
"SplitPaneUI", "javax.swing.plaf.basic.BasicSplitPaneUI",
|
|
"StandardDialogUI", "javax.swing.plaf.basic.BasicStandardDialogUI",
|
|
"TabbedPaneUI", "javax.swing.plaf.basic.BasicTabbedPaneUI",
|
|
"TableHeaderUI", "javax.swing.plaf.basic.BasicTableHeaderUI",
|
|
"TableUI", "javax.swing.plaf.basic.BasicTableUI",
|
|
"TextAreaUI", "javax.swing.plaf.basic.BasicTextAreaUI",
|
|
"TextFieldUI", "javax.swing.plaf.basic.BasicTextFieldUI",
|
|
"TextPaneUI", "javax.swing.plaf.basic.BasicTextPaneUI",
|
|
"ToggleButtonUI", "javax.swing.plaf.basic.BasicToggleButtonUI",
|
|
"ToolBarSeparatorUI", "javax.swing.plaf.basic.BasicToolBarSeparatorUI",
|
|
"ToolBarUI", "javax.swing.plaf.basic.BasicToolBarUI",
|
|
"ToolTipUI", "javax.swing.plaf.basic.BasicToolTipUI",
|
|
"TreeUI", "javax.swing.plaf.basic.BasicTreeUI",
|
|
"ViewportUI", "javax.swing.plaf.basic.BasicViewportUI"
|
|
};
|
|
// Add Class Defaults to UI Defaults table
|
|
defaults.putDefaults(uiDefaults);
|
|
}
|
|
|
|
/**
|
|
* initSystemColorDefaults
|
|
* @param defaults TODO
|
|
*/
|
|
protected void initSystemColorDefaults(UIDefaults defaults)
|
|
{
|
|
Object[] uiDefaults;
|
|
uiDefaults = new Object[] {
|
|
"activeCaption", new ColorUIResource(0, 0, 128),
|
|
"activeCaptionBorder", new ColorUIResource(Color.lightGray),
|
|
"activeCaptionText", new ColorUIResource(Color.white),
|
|
"control", new ColorUIResource(Color.lightGray),
|
|
"controlDkShadow", new ColorUIResource(Color.black),
|
|
"controlHighlight", new ColorUIResource(Color.lightGray),
|
|
"controlLtHighlight", new ColorUIResource(Color.white),
|
|
"controlShadow", new ColorUIResource(Color.gray),
|
|
"controlText", new ColorUIResource(Color.black),
|
|
"desktop", new ColorUIResource(0, 92, 92),
|
|
"inactiveCaption", new ColorUIResource(Color.gray),
|
|
"inactiveCaptionBorder", new ColorUIResource(Color.lightGray),
|
|
"inactiveCaptionText", new ColorUIResource(Color.lightGray),
|
|
"info", new ColorUIResource(Color.white),
|
|
"infoText", new ColorUIResource(Color.black),
|
|
"menu", new ColorUIResource(Color.lightGray),
|
|
"menuText", new ColorUIResource(Color.black),
|
|
"scrollbar", new ColorUIResource(224, 224, 224),
|
|
"text", new ColorUIResource(Color.lightGray),
|
|
"textHighlight", new ColorUIResource(0, 0, 128),
|
|
"textHighlightText", new ColorUIResource(Color.white),
|
|
"textInactiveText", new ColorUIResource(Color.gray),
|
|
"textText", new ColorUIResource(Color.black),
|
|
"window", new ColorUIResource(Color.white),
|
|
"windowBorder", new ColorUIResource(Color.black),
|
|
"windowText", new ColorUIResource(Color.black)
|
|
};
|
|
defaults.putDefaults(uiDefaults);
|
|
}
|
|
|
|
/**
|
|
* loadSystemColors
|
|
* @param defaults TODO
|
|
* @param value1 TODO
|
|
* @param value2 TODO
|
|
*/
|
|
protected void loadSystemColors(UIDefaults defaults, String[] value1,
|
|
boolean value2)
|
|
{
|
|
// TODO
|
|
}
|
|
|
|
/**
|
|
* loadResourceBundle
|
|
* @param defaults TODO
|
|
*/
|
|
private void loadResourceBundle(UIDefaults defaults)
|
|
{
|
|
ResourceBundle bundle;
|
|
Enumeration enum;
|
|
String key;
|
|
String value;
|
|
bundle = ResourceBundle.getBundle("resources/basic");
|
|
// Process Resources
|
|
enum = bundle.getKeys();
|
|
while (enum.hasMoreElements())
|
|
{
|
|
key = (String) enum.nextElement();
|
|
value = bundle.getString(key);
|
|
defaults.put(key, value);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* initComponentDefaults
|
|
* @param defaults TODO
|
|
*/
|
|
protected void initComponentDefaults(UIDefaults defaults)
|
|
{
|
|
Object[] uiDefaults;
|
|
uiDefaults = new Object[] {
|
|
"Button.background", new ColorUIResource(Color.lightGray),
|
|
"Button.border", new BorderUIResource.CompoundBorderUIResource(null,
|
|
null),
|
|
"Button.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"SPACE", "pressed",
|
|
"released SPACE", "released"
|
|
}),
|
|
"Button.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Button.foreground", new ColorUIResource(Color.black),
|
|
"Button.margin", new InsetsUIResource(2, 14, 2, 14),
|
|
"Button.textIconGap", new Integer(4),
|
|
"Button.textShiftOffset", new Integer(0),
|
|
"CheckBox.background", new ColorUIResource(Color.lightGray),
|
|
"CheckBox.border", new BorderUIResource.CompoundBorderUIResource(null,
|
|
null),
|
|
"CheckBox.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"SPACE", "pressed",
|
|
"released SPACE", "released"
|
|
}),
|
|
"CheckBox.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"CheckBox.foreground", new ColorUIResource(Color.black),
|
|
"CheckBox.icon", BasicIconFactory.getCheckBoxIcon(),
|
|
"CheckBox.margin",new InsetsUIResource(2, 2, 2, 2),
|
|
"CheckBox.textIconGap", new Integer(4),
|
|
"CheckBox.textShiftOffset", new Integer(0),
|
|
"CheckBoxMenuItem.acceleratorFont", new FontUIResource("Dialog",
|
|
Font.PLAIN, 12),
|
|
"CheckBoxMenuItem.acceleratorForeground", new ColorUIResource(Color.black),
|
|
"CheckBoxMenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),
|
|
"CheckBoxMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
|
|
"CheckBoxMenuItem.background", new ColorUIResource(Color.lightGray),
|
|
"CheckBoxMenuItem.border", new BasicBorders.MarginBorder(),
|
|
"CheckBoxMenuItem.borderPainted", Boolean.FALSE,
|
|
"CheckBoxMenuItem.checkIcon", BasicIconFactory.getCheckBoxMenuItemIcon(),
|
|
"CheckBoxMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"CheckBoxMenuItem.foreground", new ColorUIResource(Color.black),
|
|
"CheckBoxMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
|
|
"CheckBoxMenuItem.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"CheckBoxMenuItem.selectionForeground", new ColorUIResource(Color.white),
|
|
"ColorChooser.background", new ColorUIResource(Color.lightGray),
|
|
"ColorChooser.cancelText", "Cancel",
|
|
"ColorChooser.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"ColorChooser.foreground", new ColorUIResource(Color.black),
|
|
"ColorChooser.hsbBlueText", "B",
|
|
"ColorChooser.hsbBrightnessText", "B",
|
|
"ColorChooser.hsbGreenText", "G",
|
|
"ColorChooser.hsbHueText", "H",
|
|
"ColorChooser.hsbNameText", "HSB",
|
|
"ColorChooser.hsbRedText", "R",
|
|
"ColorChooser.hsbSaturationText", "S",
|
|
"ColorChooser.okText", "OK",
|
|
"ColorChooser.previewText", "Preview",
|
|
"ColorChooser.resetText", "Reset",
|
|
"ColorChooser.rgbBlueMnemonic", new Integer(66),
|
|
"ColorChooser.rgbBlueText", "Blue",
|
|
"ColorChooser.rgbGreenMnemonic", new Integer(71),
|
|
"ColorChooser.rgbGreenText", "Green",
|
|
"ColorChooser.rgbNameText", "RGB",
|
|
"ColorChooser.rgbRedMnemonic", new Integer(82),
|
|
"ColorChooser.rgbRedText", "Red",
|
|
"ColorChooser.sampleText", "Sample Text Sample Text",
|
|
"ColorChooser.swatchesDefaultRecentColor", new ColorUIResource(Color.lightGray),
|
|
"ColorChooser.swatchesNameText", "Swatches",
|
|
"ColorChooser.swatchesRecentSwatchSize", new Dimension(10, 10),
|
|
"ColorChooser.swatchesRecentText", "Recent:",
|
|
"ColorChooser.swatchesSwatchSize", new Dimension(10, 10),
|
|
"ComboBox.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"ESCAPE", "hidePopup",
|
|
"PAGE_UP", "pageUpPassThrough",
|
|
"PAGE_DOWN", "pageDownPassThrough",
|
|
"HOME", "homePassThrough",
|
|
"END", "endPassThrough"
|
|
}),
|
|
"ComboBox.background", new ColorUIResource(Color.white),
|
|
"ComboBox.disabledBackground", new ColorUIResource(Color.lightGray),
|
|
"ComboBox.disabledForeground", new ColorUIResource(Color.gray),
|
|
"ComboBox.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
|
|
"ComboBox.foreground", new ColorUIResource(Color.black),
|
|
"ComboBox.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"ComboBox.selectionForeground", new ColorUIResource(Color.white),
|
|
"Desktop.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"KP_LEFT", "left",
|
|
"KP_RIGHT", "right",
|
|
"ctrl F5", "restore",
|
|
"LEFT", "left",
|
|
"ctrl alt F6", "selectNextFrame",
|
|
"UP", "up",
|
|
"ctrl F6", "selectNextFrame",
|
|
"RIGHT", "right",
|
|
"DOWN", "down",
|
|
"ctrl F7", "move",
|
|
"ctrl F8", "resize",
|
|
"ESCAPE", "escape",
|
|
"ctrl TAB", "selectNextFrame",
|
|
"ctrl F9", "minimize",
|
|
"KP_UP", "up",
|
|
"ctrl F4", "close",
|
|
"KP_DOWN", "down",
|
|
"ctrl F10", "maximize",
|
|
"ctrl alt shift F6","selectPreviousFrame"
|
|
}),
|
|
"Desktop.background", new ColorUIResource(0, 92, 92),
|
|
"DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null,
|
|
null),
|
|
"EditorPane.background", new ColorUIResource(Color.white),
|
|
"EditorPane.border", new BasicBorders.MarginBorder(),
|
|
"EditorPane.caretBlinkRate", new Integer(500),
|
|
"EditorPane.caretForeground", new ColorUIResource(Color.red),
|
|
"EditorPane.font", new FontUIResource("Serif", Font.PLAIN, 12),
|
|
"EditorPane.foreground", new ColorUIResource(Color.black),
|
|
"EditorPane.inactiveForeground", new ColorUIResource(Color.gray),
|
|
"EditorPane.keyBindings", new JTextComponent.KeyBinding[] {
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_UP,
|
|
0), "caret-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,
|
|
0), "caret-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP,
|
|
0), "page-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN,
|
|
0), "page-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
|
|
0), "insert-break"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_TAB,
|
|
0), "insert-tab")
|
|
},
|
|
"EditorPane.margin", new InsetsUIResource(3, 3, 3, 3),
|
|
"EditorPane.selectionBackground", new ColorUIResource(Color.lightGray),
|
|
"EditorPane.selectionForeground", new ColorUIResource(Color.white),
|
|
"FileChooser.acceptAllFileFilterText", "All Files (*.*)",
|
|
"FileChooser.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"ESCAPE", "cancelSelection"
|
|
}),
|
|
"FileChooser.cancelButtonMnemonic", new Integer(67),
|
|
"FileChooser.cancelButtonText", "Cancel",
|
|
"FileChooser.cancelButtonToolTipText", "Abort file chooser dialog",
|
|
// XXX Don't use gif
|
|
"FileChooser.detailsViewIcon", new IconUIResource(new ImageIcon("icons/DetailsView.gif")),
|
|
"FileChooser.directoryDescriptionText", "Directory",
|
|
"FileChooser.fileDescriptionText", "Generic File",
|
|
"FileChooser.helpButtonMnemonic", new Integer(72),
|
|
"FileChooser.helpButtonText", "Help",
|
|
"FileChooser.helpButtonToolTipText", "FileChooser help",
|
|
// XXX Don't use gif
|
|
"FileChooser.homeFolderIcon", new IconUIResource(new ImageIcon("icons/HomeFolder.gif")),
|
|
// XXX Don't use gif
|
|
"FileChooser.listViewIcon", new IconUIResource(new ImageIcon("icons/ListView.gif")),
|
|
"FileChooser.newFolderErrorSeparator", ":",
|
|
"FileChooser.newFolderErrorText", "Error creating new folder",
|
|
// XXX Don't use gif
|
|
"FileChooser.newFolderIcon", new IconUIResource(new ImageIcon("icons/NewFolder.gif")),
|
|
"FileChooser.openButtonMnemonic", new Integer(79),
|
|
"FileChooser.openButtonText", "Open",
|
|
"FileChooser.openButtonToolTipText", "Open selected file",
|
|
"FileChooser.saveButtonMnemonic", new Integer(83),
|
|
"FileChooser.saveButtonText", "Save",
|
|
"FileChooser.saveButtonToolTipText", "Save selected file",
|
|
// XXX Don't use gif
|
|
"FileChooser.upFolderIcon", new IconUIResource(new ImageIcon("icons/UpFolder.gif")),
|
|
"FileChooser.updateButtonMnemonic", new Integer(85),
|
|
"FileChooser.updateButtonText", "Update",
|
|
"FileChooser.updateButtonToolTipText", "Update directory listing",
|
|
// XXX Don't use gif
|
|
"FileView.computerIcon", new IconUIResource(new ImageIcon("icons/Computer.gif")),
|
|
// XXX Don't use gif
|
|
"FileView.directoryIcon", new IconUIResource(new ImageIcon("icons/Directory.gif")),
|
|
// XXX Don't use gif
|
|
"FileView.fileIcon", new IconUIResource(new ImageIcon("icons/File.gif")),
|
|
// XXX Don't use gif
|
|
"FileView.floppyDriveIcon", new IconUIResource(new ImageIcon("icons/Floppy.gif")),
|
|
// XXX Don't use gif
|
|
"FileView.hardDriveIcon", new IconUIResource(new ImageIcon("icons/HardDrive.gif")),
|
|
"FocusManagerClassName", "TODO",
|
|
"FormView.resetButtonText", "Reset",
|
|
"FormView.submitButtonText", "Submit Query",
|
|
"InternalFrame.activeTitleBackground", new ColorUIResource(0, 0, 128),
|
|
"InternalFrame.activeTitleForeground", new ColorUIResource(Color.white),
|
|
"InternalFrame.border", new BorderUIResource.CompoundBorderUIResource(null,
|
|
null),
|
|
"InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(),
|
|
// XXX Don't use gif
|
|
"InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")),
|
|
"InternalFrame.iconifyIcon", BasicIconFactory.createEmptyFrameIcon(),
|
|
"InternalFrame.inactiveTitleBackground", new ColorUIResource(Color.gray),
|
|
"InternalFrame.inactiveTitleForeground", new ColorUIResource(Color.lightGray),
|
|
"InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(),
|
|
"InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(),
|
|
"InternalFrame.titleFont", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"InternalFrame.windowBindings", new Object[] {
|
|
"shift ESCAPE", "showSystemMenu",
|
|
"ctrl SPACE", "showSystemMenu",
|
|
"ESCAPE", "showSystemMenu"
|
|
},
|
|
"Label.background", new ColorUIResource(Color.lightGray),
|
|
"Label.disabledForeground", new ColorUIResource(Color.white),
|
|
"Label.disabledShadow", new ColorUIResource(Color.gray),
|
|
"Label.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"List.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"PAGE_UP", "scrollUp",
|
|
"ctrl \\", "clearSelection",
|
|
"PAGE_DOWN", "scrollDown",
|
|
"shift PAGE_DOWN","scrollDownExtendSelection",
|
|
"END", "selectLastRow",
|
|
"HOME", "selectFirstRow",
|
|
"shift END", "selectLastRowExtendSelection",
|
|
"shift HOME", "selectFirstRowExtendSelection",
|
|
"UP", "selectPreviousRow",
|
|
"ctrl /", "selectAll",
|
|
"ctrl A", "selectAll",
|
|
"DOWN", "selectNextRow",
|
|
"shift UP", "selectPreviousRowExtendSelection",
|
|
"ctrl SPACE", "selectNextRowExtendSelection",
|
|
"shift DOWN", "selectNextRowExtendSelection",
|
|
"KP_UP", "selectPreviousRow",
|
|
"shift PAGE_UP","scrollUpExtendSelection",
|
|
"KP_DOWN", "selectNextRow"
|
|
}),
|
|
"List.foreground", new ColorUIResource(Color.black),
|
|
"List.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"List.selectionForeground", new ColorUIResource(Color.white),
|
|
"Menu.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Menu.acceleratorForeground", new ColorUIResource(Color.black),
|
|
"Menu.acceleratorSelectionForeground", new ColorUIResource(Color.white),
|
|
"Menu.arrowIcon", BasicIconFactory.getMenuArrowIcon(),
|
|
"Menu.background", new ColorUIResource(Color.lightGray),
|
|
"Menu.border", new BasicBorders.MarginBorder(),
|
|
"Menu.borderPainted", Boolean.FALSE,
|
|
"Menu.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),
|
|
"Menu.consumesTabs", Boolean.TRUE,
|
|
"Menu.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Menu.foreground", new ColorUIResource(Color.black),
|
|
"Menu.margin", new InsetsUIResource(2, 2, 2, 2),
|
|
"Menu.selectedWindowInputMapBindings", new Object[] {
|
|
"ESCAPE", "cancel",
|
|
"DOWN", "selectNext",
|
|
"KP_DOWN", "selectNext",
|
|
"UP", "selectPrevious",
|
|
"KP_UP", "selectPrevious",
|
|
"LEFT", "selectParent",
|
|
"KP_LEFT", "selectParent",
|
|
"RIGHT", "selectChild",
|
|
"KP_RIGHT", "selectChild",
|
|
"ENTER", "return",
|
|
"SPACE", "return"
|
|
},
|
|
"Menutext.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"Menu.selectionForeground", new ColorUIResource(Color.white),
|
|
"MenuBar.background", new ColorUIResource(Color.lightGray),
|
|
"MenuBar.border", new BasicBorders.MenuBarBorder(null, null),
|
|
"MenuBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"MenuBar.foreground", new ColorUIResource(Color.black),
|
|
"MenuBar.windowBindings", new Object[] {
|
|
"F10", "takeFocus"
|
|
},
|
|
"MenuItem.acceleratorDelimiter", "+",
|
|
"MenuItem.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"MenuItem.acceleratorForeground", new ColorUIResource(Color.black),
|
|
"MenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),
|
|
"MenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
|
|
"MenuItem.background", new ColorUIResource(Color.lightGray),
|
|
"MenuItem.border", new BasicBorders.MarginBorder(),
|
|
"MenuItem.borderPainted", Boolean.FALSE,
|
|
"MenuItem.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),
|
|
"MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"MenuItem.foreground", new ColorUIResource(Color.black),
|
|
"MenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
|
|
"MenuItem.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"MenuItem.selectionForeground", new ColorUIResource(Color.white),
|
|
"OptionPane.background", new ColorUIResource(Color.lightGray),
|
|
"OptionPane.border", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
|
|
"OptionPane.buttonAreaBorder", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
|
|
"OptionPane.cancelButtonText", "Cancel",
|
|
// XXX Don't use gif
|
|
"OptionPane.errorIcon", new IconUIResource(new ImageIcon("icons/Error.gif")),
|
|
"OptionPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"OptionPane.foreground", new ColorUIResource(Color.black),
|
|
// XXX Don't use gif
|
|
"OptionPane.informationIcon", new IconUIResource(new ImageIcon("icons/Inform.gif")),
|
|
"OptionPane.messageAreaBorder", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
|
|
"OptionPane.messageForeground", new ColorUIResource(Color.black),
|
|
"OptionPane.minimumSize", new DimensionUIResource(262, 90),
|
|
"OptionPane.noButtonText", "No",
|
|
"OptionPane.okButtonText", "OK",
|
|
// XXX Don't use gif
|
|
"OptionPane.questionIcon", new IconUIResource(new ImageIcon("icons/Question.gif")),
|
|
// XXX Don't use gif
|
|
"OptionPane.warningIcon", new IconUIResource(new ImageIcon("icons/Warn.gif")),
|
|
"OptionPane.windowBindings", new Object[] {
|
|
"ESCAPE", "close"
|
|
},
|
|
"OptionPane.yesButtonText", "Yes",
|
|
"Panel.background", new ColorUIResource(Color.lightGray),
|
|
"Panel.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Panel.foreground", new ColorUIResource(Color.black),
|
|
"PasswordField.background", new ColorUIResource(Color.white),
|
|
"PasswordField.border", new BasicBorders.FieldBorder(null, null,
|
|
null, null),
|
|
"PasswordField.caretBlinkRate", new Integer(500),
|
|
"PasswordField.caretForeground", new ColorUIResource(Color.black),
|
|
"PasswordField.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),
|
|
"PasswordField.foreground", new ColorUIResource(Color.black),
|
|
"PasswordField.inactiveForeground", new ColorUIResource(Color.gray),
|
|
"PasswordField.keyBindings", new JTextComponent.KeyBinding[] {
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
|
|
0),
|
|
"notify-field-accept")},
|
|
"PasswordField.margin", new InsetsUIResource(0, 0, 0, 0),
|
|
"PasswordField.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"PasswordField.selectionForeground", new ColorUIResource(Color.white),
|
|
"PopupMenu.background", new ColorUIResource(Color.lightGray),
|
|
"PopupMenu.border", new BorderUIResource.BevelBorderUIResource(0),
|
|
"PopupMenu.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"PopupMenu.foreground", new ColorUIResource(Color.black),
|
|
"ProgressBar.background", new ColorUIResource(Color.lightGray),
|
|
"ProgressBar.border", new BorderUIResource.LineBorderUIResource(null),
|
|
"ProgressBar.cellLength", new Integer(1),
|
|
"ProgressBar.cellSpacing", new Integer(0),
|
|
"ProgressBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"ProgressBar.foreground", new ColorUIResource(0, 0, 128),
|
|
"ProgressBar.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"ProgressBar.selectionForeground", new ColorUIResource(Color.lightGray),
|
|
"RadioButton.background", new ColorUIResource(Color.lightGray),
|
|
"RadioButton.border", new BorderUIResource.CompoundBorderUIResource(null,
|
|
null),
|
|
"RadioButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"SPACE", "pressed",
|
|
"released SPACE", "released"
|
|
}),
|
|
"RadioButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"RadioButton.foreground", new ColorUIResource(Color.black),
|
|
"RadioButton.icon", BasicIconFactory.getRadioButtonIcon(),
|
|
"RadioButton.margin", new InsetsUIResource(2, 2, 2, 2),
|
|
"RadioButton.textIconGap", new Integer(4),
|
|
"RadioButton.textShiftOffset", new Integer(0),
|
|
"RadioButtonMenuItem.acceleratorFont", new FontUIResource("Dialog",
|
|
Font.PLAIN, 12),
|
|
"RadioButtonMenuItem.acceleratorForeground", new ColorUIResource(Color.black),
|
|
"RadioButtonMenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),
|
|
"RadioButtonMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
|
|
"RadioButtonMenuItem.background", new ColorUIResource(Color.lightGray),
|
|
"RadioButtonMenuItem.border", new BasicBorders.MarginBorder(),
|
|
"RadioButtonMenuItem.borderPainted", Boolean.FALSE,
|
|
"RadioButtonMenuItem.checkIcon", BasicIconFactory.getRadioButtonMenuItemIcon(),
|
|
"RadioButtonMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"RadioButtonMenuItem.foreground", new ColorUIResource(Color.black),
|
|
"RadioButtonMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
|
|
"RadioButtonMenuItem.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"RadioButtonMenuItem.selectionForeground", new ColorUIResource(Color.white),
|
|
"RootPane.defaultButtonWindowKeyBindings", new Object[] {
|
|
"ENTER", "press",
|
|
"released ENTER", "release",
|
|
"ctrl ENTER", "press",
|
|
"ctrl released ENTER", "release"
|
|
},
|
|
"ScrollBar.background", new ColorUIResource(224, 224, 224),
|
|
"ScrollBar.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"PAGE_UP", "negativeBlockIncrement",
|
|
"PAGE_DOWN", "positiveBlockIncrement",
|
|
"END", "maxScroll",
|
|
"HOME", "minScroll",
|
|
"LEFT", "positiveUnitIncrement",
|
|
"KP_UP", "negativeUnitIncrement",
|
|
"KP_DOWN", "positiveUnitIncrement",
|
|
"UP", "negativeUnitIncrement",
|
|
"RIGHT", "negativeUnitIncrement",
|
|
"KP_LEFT", "positiveUnitIncrement",
|
|
"DOWN", "positiveUnitIncrement",
|
|
"KP_RIGHT", "negativeUnitIncrement"
|
|
}),
|
|
"ScrollBar.foreground", new ColorUIResource(Color.lightGray),
|
|
"ScrollBar.maximumThumbSize", new DimensionUIResource(4096, 4096),
|
|
"ScrollBar.minimumThumbSize", new DimensionUIResource(8, 8),
|
|
"ScrollBar.thumb", new ColorUIResource(Color.lightGray),
|
|
"ScrollBar.thumbDarkShadow", new ColorUIResource(Color.black),
|
|
"ScrollBar.thumbHighlight", new ColorUIResource(Color.white),
|
|
"ScrollBar.thumbLightShadow", new ColorUIResource(Color.gray),
|
|
"ScrollBar.track", new ColorUIResource(224, 224, 224),
|
|
"ScrollBar.trackHighlight", new ColorUIResource(Color.black),
|
|
"ScrollPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"PAGE_UP", "scrollUp",
|
|
"KP_LEFT", "unitScrollLeft",
|
|
"ctrl PAGE_DOWN","scrollRight",
|
|
"PAGE_DOWN", "scrollDown",
|
|
"KP_RIGHT", "unitScrollRight",
|
|
"LEFT", "unitScrollLeft",
|
|
"ctrl END", "scrollEnd",
|
|
"UP", "unitScrollUp",
|
|
"RIGHT", "unitScrollRight",
|
|
"DOWN", "unitScrollDown",
|
|
"ctrl HOME", "scrollHome",
|
|
"ctrl PAGE_UP", "scrollLeft",
|
|
"KP_UP", "unitScrollUp",
|
|
"KP_DOWN", "unitScrollDown"
|
|
}),
|
|
"ScrollPane.background", new ColorUIResource(Color.lightGray),
|
|
"ScrollPane.border", new BorderUIResource.EtchedBorderUIResource(),
|
|
"ScrollPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"ScrollPane.foreground", new ColorUIResource(Color.black),
|
|
"Separator.background", new ColorUIResource(Color.white),
|
|
"Separator.foreground", new ColorUIResource(Color.gray),
|
|
"Separator.highlight", new ColorUIResource(Color.white),
|
|
"Separator.shadow", new ColorUIResource(Color.gray),
|
|
"Slider.background", new ColorUIResource(Color.lightGray),
|
|
"Slider.focus", new ColorUIResource(Color.black),
|
|
"Slider.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"PAGE_UP", "positiveBlockIncrement",
|
|
"PAGE_DOWN", "negativeBlockIncrement",
|
|
"END", "maxScroll",
|
|
"HOME", "minScroll",
|
|
"LEFT", "negativeUnitIncrement",
|
|
"KP_UP", "positiveUnitIncrement",
|
|
"KP_DOWN", "negativeUnitIncrement",
|
|
"UP", "positiveUnitIncrement",
|
|
"RIGHT", "positiveUnitIncrement",
|
|
"KP_LEFT", "negativeUnitIncrement",
|
|
"DOWN", "negativeUnitIncrement",
|
|
"KP_RIGHT", "positiveUnitIncrement"
|
|
}),
|
|
"Slider.focusInsets", new InsetsUIResource(2, 2, 2, 2),
|
|
"Slider.foreground", new ColorUIResource(Color.lightGray),
|
|
"Slider.highlight", new ColorUIResource(Color.white),
|
|
"Slider.shadow", new ColorUIResource(Color.gray),
|
|
"SplitPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"F6", "toggleFocus",
|
|
"F8", "startResize",
|
|
"END", "selectMax",
|
|
"HOME", "selectMin",
|
|
"LEFT", "negativeIncremnent",
|
|
"KP_UP", "negativeIncrement",
|
|
"KP_DOWN", "positiveIncrement",
|
|
"UP", "negativeIncrement",
|
|
"RIGHT", "positiveIncrement",
|
|
"KP_LEFT", "negativeIncrement",
|
|
"DOWN", "positiveIncrement",
|
|
"KP_RIGHT", "positiveIncrement"
|
|
}),
|
|
"SplitPane.background", new ColorUIResource(Color.lightGray),
|
|
"SplitPane.border", new BasicBorders.SplitPaneBorder(null, null),
|
|
"SplitPane.dividerSize", new Integer(7),
|
|
"SplitPane.highlight", new ColorUIResource(Color.white),
|
|
"SplitPane.shadow", new ColorUIResource(Color.gray),
|
|
"TabbedPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"ctrl PAGE_DOWN","navigatePageDown",
|
|
"ctrl PAGE_UP", "navigatePageUp",
|
|
"ctrl UP", "requestFocus",
|
|
"ctrl KP_UP", "requestFocus"
|
|
}),
|
|
"TabbedPane.background", new ColorUIResource(Color.lightGray),
|
|
"TabbedPane.contentBorderInsets", new InsetsUIResource(2, 2, 3, 3),
|
|
"TabbedPane.darkShadow", new ColorUIResource(Color.black),
|
|
"TabbedPane.focus", new ColorUIResource(Color.black),
|
|
"TabbedPane.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"LEFT", "navigateLeft",
|
|
"KP_UP", "navigateUp",
|
|
"ctrl DOWN", "requestFocusForVisibleComponent",
|
|
"UP", "navigateUp",
|
|
"KP_DOWN", "navigateDown",
|
|
"RIGHT", "navigateRight",
|
|
"KP_LEFT", "navigateLeft",
|
|
"ctrl KP_DOWN", "requestFocusForVisibleComponent",
|
|
"KP_RIGHT", "navigateRight",
|
|
"DOWN", "navigateDown"
|
|
}),
|
|
"TabbedPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"TabbedPane.foreground", new ColorUIResource(Color.black),
|
|
"TabbedPane.highlight", new ColorUIResource(Color.lightGray),
|
|
"TabbedPane.lightHighlight", new ColorUIResource(Color.white),
|
|
"TabbedPane.selectedTabPadInsets", new InsetsUIResource(2, 2, 2, 1),
|
|
"TabbedPane.shadow", new ColorUIResource(Color.gray),
|
|
"TabbedPane.tabAreaInsets", new InsetsUIResource(3, 2, 0, 2),
|
|
"TabbedPane.tabInsets", new InsetsUIResource(0, 4, 1, 4),
|
|
"TabbedPane.tabRunOverlay", new Integer(2),
|
|
"TabbedPane.textIconGap", new Integer(4),
|
|
"Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"shift PAGE_DOWN","scrollDownExtendSelection",
|
|
"PAGE_DOWN", "scrollDownChangeSelection",
|
|
"END", "selectLastColumn",
|
|
"shift END", "selectLastColumnExtendSelection",
|
|
"HOME", "selectFirstColumn",
|
|
"ctrl END", "selectLastRow",
|
|
"ctrl shift END","selectLastRowExtendSelection",
|
|
"LEFT", "selectPreviousColumn",
|
|
"shift HOME", "selectFirstColumnExtendSelection",
|
|
"UP", "selectPreviousRow",
|
|
"RIGHT", "selectNextColumn",
|
|
"ctrl HOME", "selectFirstRow",
|
|
"shift LEFT", "selectPreviousColumnExtendSelection",
|
|
"DOWN", "selectNextRow",
|
|
"ctrl shift HOME","selectFirstRowExtendSelection",
|
|
"shift UP", "selectPreviousRowExtendSelection",
|
|
"F2", "startEditing",
|
|
"shift RIGHT", "selectNextColumnExtendSelection",
|
|
"TAB", "selectNextColumnCell",
|
|
"shift DOWN", "selectNextRowExtendSelection",
|
|
"ENTER", "selectNextRowCell",
|
|
"KP_UP", "selectPreviousRow",
|
|
"KP_DOWN", "selectNextRow",
|
|
"KP_LEFT", "selectPreviousColumn",
|
|
"KP_RIGHT", "selectNextColumn",
|
|
"shift TAB", "selectPreviousColumnCell",
|
|
"ctrl A", "selectAll",
|
|
"shift ENTER", "selectPreviousRowCell",
|
|
"shift KP_DOWN", "selectNextRowExtendSelection",
|
|
"shift KP_LEFT", "selectPreviousColumnExtendSelection",
|
|
"ESCAPE", "cancel",
|
|
"ctrl shift PAGE_UP", "scrollRightExtendSelection",
|
|
"shift KP_RIGHT", " selectNextColumnExtendSelection",
|
|
"ctrl PAGE_UP", "scrollLeftChangeSelection",
|
|
"shift PAGE_UP", "scrollUpExtendSelection",
|
|
"ctrl shift PAGE_DOWN", "scrollLeftExtendSelection",
|
|
"ctrl PAGE_DOWN", "scrollRightChangeSelection",
|
|
"PAGE_UP", "scrollUpChangeSelection"
|
|
}),
|
|
"Table.background", new ColorUIResource(Color.white),
|
|
"Table.focusCellBackground", new ColorUIResource(Color.white),
|
|
"Table.focusCellForeground", new ColorUIResource(Color.black),
|
|
"Table.focusCellHighlightBorder", new BorderUIResource.LineBorderUIResource(null),
|
|
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Table.foreground", new ColorUIResource(Color.black),
|
|
"Table.gridColor", new ColorUIResource(Color.gray),
|
|
"Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0),
|
|
"Table.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"Table.selectionForeground", new ColorUIResource(Color.white),
|
|
"TableHeader.background", new ColorUIResource(Color.lightGray),
|
|
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0),
|
|
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"TableHeader.foreground", new ColorUIResource(Color.black),
|
|
"TextArea.background", new ColorUIResource(Color.white),
|
|
"TextArea.border", new BasicBorders.MarginBorder(),
|
|
"TextArea.caretBlinkRate", new Integer(500),
|
|
"TextArea.caretForeground", new ColorUIResource(Color.black),
|
|
"TextArea.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),
|
|
"TextArea.foreground", new ColorUIResource(Color.black),
|
|
"TextArea.inactiveForeground", new ColorUIResource(Color.gray),
|
|
"TextArea.keyBindings", new JTextComponent.KeyBinding[] {
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_UP,
|
|
0), "caret-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,
|
|
0), "caret-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP,
|
|
0), "page-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN,
|
|
0), "page-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
|
|
0), "insert-break"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_TAB,
|
|
0), "insert-tab")
|
|
},
|
|
"TextArea.margin", new InsetsUIResource(0, 0, 0, 0),
|
|
"TextArea.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"TextArea.selectionForeground", new ColorUIResource(Color.white),
|
|
"TextField.background", new ColorUIResource(Color.white),
|
|
"TextField.border", new BasicBorders.FieldBorder(null, null, null, null),
|
|
"TextField.caretBlinkRate", new Integer(500),
|
|
"TextField.caretForeground", new ColorUIResource(Color.black),
|
|
"TextField.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
|
|
"TextField.foreground", new ColorUIResource(Color.black),
|
|
"TextField.inactiveForeground", new ColorUIResource(Color.gray),
|
|
"TextField.keyBindings", new JTextComponent.KeyBinding[] {
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
|
|
0),
|
|
"notify-field-accept")},
|
|
"TextField.margin", new InsetsUIResource(0, 0, 0, 0),
|
|
"TextField.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"TextField.selectionForeground", new ColorUIResource(Color.white),
|
|
"TextPane.background", new ColorUIResource(Color.white),
|
|
"TextPane.border", new BasicBorders.MarginBorder(),
|
|
"TextPane.caretBlinkRate", new Integer(500),
|
|
"TextPane.caretForeground", new ColorUIResource(Color.black),
|
|
"TextPane.font", new FontUIResource("Serif", Font.PLAIN, 12),
|
|
"TextPane.foreground", new ColorUIResource(Color.black),
|
|
"TextPane.inactiveForeground", new ColorUIResource(Color.gray),
|
|
"TextPane.keyBindings", new JTextComponent.KeyBinding[] {
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_UP,
|
|
0), "caret-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,
|
|
0), "caret-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP,
|
|
0), "page-up"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN,
|
|
0), "page-down"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
|
|
0), "insert-break"),
|
|
new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_TAB,
|
|
0), "insert-tab")
|
|
},
|
|
"TextPane.margin", new InsetsUIResource(3, 3, 3, 3),
|
|
"TextPane.selectionBackground", new ColorUIResource(Color.lightGray),
|
|
"TextPane.selectionForeground", new ColorUIResource(Color.white),
|
|
"TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(),
|
|
"TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"TitledBorder.titleColor", new ColorUIResource(Color.black),
|
|
"ToggleButton.background", new ColorUIResource(Color.lightGray),
|
|
"ToggleButton.border", new BorderUIResource.CompoundBorderUIResource(null, null),
|
|
"ToggleButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"SPACE", "pressed",
|
|
"released SPACE", "released"
|
|
}),
|
|
"ToggleButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"ToggleButton.foreground", new ColorUIResource(Color.black),
|
|
"ToggleButton.margin", new InsetsUIResource(2, 14, 2, 14),
|
|
"ToggleButton.textIconGap", new Integer(4),
|
|
"ToggleButton.textShiftOffset", new Integer(0),
|
|
"ToolBar.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"UP", "navigateUp",
|
|
"KP_UP", "navigateUp",
|
|
"DOWN", "navigateDown",
|
|
"KP_DOWN", "navigateDown",
|
|
"LEFT", "navigateLeft",
|
|
"KP_LEFT", "navigateLeft",
|
|
"RIGHT", "navigateRight",
|
|
"KP_RIGHT", "navigateRight"
|
|
}),
|
|
"ToolBar.background", new ColorUIResource(Color.lightGray),
|
|
"ToolBar.border", new BorderUIResource.EtchedBorderUIResource(),
|
|
"ToolBar.dockingBackground", new ColorUIResource(Color.lightGray),
|
|
"ToolBar.dockingForeground", new ColorUIResource(Color.red),
|
|
"ToolBar.floatingBackground", new ColorUIResource(Color.lightGray),
|
|
"ToolBar.floatingForeground", new ColorUIResource(Color.darkGray),
|
|
"ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"ToolBar.foreground", new ColorUIResource(Color.black),
|
|
"ToolBar.separatorSize", new DimensionUIResource(10, 10),
|
|
"ToolTip.background", new ColorUIResource(Color.white),
|
|
"ToolTip.border", new BorderUIResource.LineBorderUIResource(null),
|
|
"ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
|
|
"ToolTip.foreground", new ColorUIResource(Color.black),
|
|
"Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"ESCAPE", "cancel"
|
|
}),
|
|
"Tree.background", new ColorUIResource(Color.white),
|
|
"Tree.changeSelectionWithFocus", Boolean.TRUE,
|
|
// XXX Don't use gif
|
|
"Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.gif")),
|
|
"Tree.drawsFocusBorderAroundIcon", Boolean.FALSE,
|
|
"Tree.editorBorder", new BorderUIResource.LineBorderUIResource(null),
|
|
"Tree.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
|
|
"shift PAGE_DOWN", "scrollDownExtendSelection",
|
|
"PAGE_DOWN", "scrollDownChangeSelection",
|
|
"END", "selectLast",
|
|
"ctrl KP_UP", "selectPreviousChangeLead",
|
|
"shift END", "selectLastExtendSelection",
|
|
"HOME", "selectFirst",
|
|
"ctrl END", "selectLastChangeLead",
|
|
"ctrl /", "selectAll",
|
|
"LEFT", "selectParent",
|
|
"shift HOME", "selectFirstExtendSelection",
|
|
"UP", "selectPrevious",
|
|
"ctrl KP_DOWN", "selectNextChangeLead",
|
|
"RIGHT", "selectChild",
|
|
"ctrl HOME", "selectFirstChangeLead",
|
|
"DOWN", "selectNext",
|
|
"ctrl KP_LEFT", "scrollLeft",
|
|
"shift UP", "selectPreviousExtendSelection",
|
|
"F2", "startEditing",
|
|
"ctrl LEFT", "scrollLeft",
|
|
"ctrl KP_RIGHT","scrollRight",
|
|
"ctrl UP", "selectPreviousChangeLead",
|
|
"shift DOWN", "selectNextExtendSelection",
|
|
"ENTER", "toggle",
|
|
"KP_UP", "selectPrevious",
|
|
"KP_DOWN", "selectNext",
|
|
"ctrl RIGHT", "scrollRight",
|
|
"KP_LEFT", "selectParent",
|
|
"KP_RIGHT", "selectChild",
|
|
"ctrl DOWN", "selectNextChangeLead",
|
|
"ctrl A", "selectAll",
|
|
"shift KP_UP", "selectPreviousExtendSelection",
|
|
"shift KP_DOWN","selectNextExtendSelection",
|
|
"ctrl SPACE", "toggleSelectionPreserveAnchor",
|
|
"ctrl shift PAGE_UP", "scrollUpExtendSelection",
|
|
"ctrl \\", "clearSelection",
|
|
"shift SPACE", "extendSelection",
|
|
"ctrl PAGE_UP", "scrollUpChangeLead",
|
|
"shift PAGE_UP","scrollUpExtendSelection",
|
|
"SPACE", "toggleSelectionPreserveAnchor",
|
|
"ctrl shift PAGE_DOWN", "scrollDownExtendSelection",
|
|
"PAGE_UP", "scrollUpChangeSelection",
|
|
"ctrl PAGE_DOWN", "scrollDownChangeLead"
|
|
}),
|
|
"Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
"Tree.foreground", new ColorUIResource(Color.black),
|
|
"Tree.hash", new ColorUIResource(Color.gray),
|
|
// XXX Don't use gif
|
|
"Tree.leafIcon", new IconUIResource(new ImageIcon("icons/TreeLeaf.gif")),
|
|
"Tree.leftChildIndent", new Integer(7),
|
|
// XXX Don't use gif
|
|
"Tree.openIcon", new IconUIResource(new ImageIcon("icons/TreeOpen.gif")),
|
|
"Tree.rightChildIndent", new Integer(13),
|
|
"Tree.rowHeight", new Integer(16),
|
|
"Tree.scrollsOnExpand", Boolean.TRUE,
|
|
"Tree.selectionBackground", new ColorUIResource(0, 0, 128),
|
|
"Tree.selectionBorderColor", new ColorUIResource(Color.black),
|
|
"Tree.selectionForeground", new ColorUIResource(Color.white),
|
|
"Tree.textBackground", new ColorUIResource(Color.lightGray),
|
|
"Tree.textForeground", new ColorUIResource(Color.black),
|
|
"Viewport.background", new ColorUIResource(Color.lightGray),
|
|
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12),
|
|
};
|
|
defaults.putDefaults(uiDefaults);
|
|
}
|
|
} // class BasicLookAndFeel
|