/[classpath]/classpath/javax/swing/plaf/basic/BasicLookAndFeel.java
ViewVC logotype

Diff of /classpath/javax/swing/plaf/basic/BasicLookAndFeel.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.13.2.5 by gnu_andrew, Sun Mar 13 14:38:43 2005 UTC revision 1.13.2.6 by gnu_andrew, Thu Apr 28 23:00:14 2005 UTC
# Line 1  Line 1 
1  /* BasicLookAndFeel.java --  /* BasicLookAndFeel.java --
2     Copyright (C) 2002, 2004 Free Software Foundation, Inc.     Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
3    
4  This file is part of GNU Classpath.  This file is part of GNU Classpath.
5    
# Line 159  public abstract class BasicLookAndFeel e Line 159  public abstract class BasicLookAndFeel e
159     */     */
160    protected void initSystemColorDefaults(UIDefaults defaults)    protected void initSystemColorDefaults(UIDefaults defaults)
161    {    {
162        Color highLight = new Color(249, 247, 246);
163        Color light = new Color(239, 235, 231);
164        Color shadow = new Color(139, 136, 134);
165        Color darkShadow = new Color(16, 16, 16);
166    
167      Object[] uiDefaults;      Object[] uiDefaults;
168      uiDefaults = new Object[] {      uiDefaults = new Object[] {
169        "activeCaption", new ColorUIResource(0, 0, 128),        "activeCaption", new ColorUIResource(0, 0, 128),
170        "activeCaptionBorder", new ColorUIResource(Color.lightGray),        "activeCaptionBorder", new ColorUIResource(Color.lightGray),
171        "activeCaptionText", new ColorUIResource(Color.white),        "activeCaptionText", new ColorUIResource(Color.white),
172        "control", new ColorUIResource(Color.lightGray),        "control", new ColorUIResource(light),
173        "controlDkShadow", new ColorUIResource(Color.black),        "controlDkShadow", new ColorUIResource(shadow),
174        "controlHighlight", new ColorUIResource(Color.lightGray),        "controlHighlight", new ColorUIResource(highLight),
175        "controlLtHighlight", new ColorUIResource(Color.white),        "controlLtHighlight", new ColorUIResource(highLight),
176        "controlShadow", new ColorUIResource(Color.gray),        "controlShadow", new ColorUIResource(shadow),
177        "controlText", new ColorUIResource(Color.black),        "controlText", new ColorUIResource(darkShadow),
178        "desktop", new ColorUIResource(0, 92, 92),        "desktop", new ColorUIResource(0, 92, 92),
179        "inactiveCaption", new ColorUIResource(Color.gray),        "inactiveCaption", new ColorUIResource(Color.gray),
180        "inactiveCaptionBorder", new ColorUIResource(Color.lightGray),        "inactiveCaptionBorder", new ColorUIResource(Color.lightGray),
181        "inactiveCaptionText", new ColorUIResource(Color.lightGray),        "inactiveCaptionText", new ColorUIResource(Color.lightGray),
182        "info", new ColorUIResource(Color.white),        "info", new ColorUIResource(light),
183        "infoText", new ColorUIResource(Color.black),        "infoText", new ColorUIResource(darkShadow),
184        "menu", new ColorUIResource(Color.lightGray),        "menu", new ColorUIResource(light),
185        "menuText", new ColorUIResource(Color.black),        "menuText", new ColorUIResource(darkShadow),
186        "scrollbar", new ColorUIResource(224, 224, 224),        "scrollbar", new ColorUIResource(light),
187        "text", new ColorUIResource(Color.lightGray),        "text", new ColorUIResource(Color.white),
188        "textHighlight", new ColorUIResource(0, 0, 128),        "textHighlight", new ColorUIResource(Color.black),
189        "textHighlightText", new ColorUIResource(Color.white),        "textHighlightText", new ColorUIResource(Color.white),
190        "textInactiveText", new ColorUIResource(Color.gray),        "textInactiveText", new ColorUIResource(Color.gray),
191        "textText", new ColorUIResource(Color.black),        "textText", new ColorUIResource(Color.black),
192        "window", new ColorUIResource(Color.white),        "window", new ColorUIResource(light),
193        "windowBorder", new ColorUIResource(Color.black),        "windowBorder", new ColorUIResource(Color.black),
194        "windowText", new ColorUIResource(Color.black)        "windowText", new ColorUIResource(darkShadow)
195      };      };
196      defaults.putDefaults(uiDefaults);      defaults.putDefaults(uiDefaults);
197    }    }
# Line 232  public abstract class BasicLookAndFeel e Line 237  public abstract class BasicLookAndFeel e
237    {    {
238      Object[] uiDefaults;      Object[] uiDefaults;
239            
240      // The default Look and Feel happens to use these three purple shades      Color highLight = new Color(249, 247, 246);
241      // extensively.      Color light = new Color(239, 235, 231);
242      Color lightPurple = new Color(0xCC, 0xCC, 0xFF);      Color shadow = new Color(139, 136, 134);
243      Color midPurple = new Color(0x99, 0x99, 0xCC);      Color darkShadow = new Color(16, 16, 16);
244      Color darkPurple = new Color(0x66, 0x66, 0x99);      
   
245      uiDefaults = new Object[] {      uiDefaults = new Object[] {
246    
247        "AbstractUndoableEdit.undoText", "Undo",        "AbstractUndoableEdit.undoText", "Undo",
248        "AbstractUndoableEdit.redoText", "Redo",        "AbstractUndoableEdit.redoText", "Redo",
249          "Button.background", new ColorUIResource(light),
250        "Button.background", new ColorUIResource(Color.lightGray),        "Button.border",
251        "Button.border", BorderUIResource.getEtchedBorderUIResource(),        new UIDefaults.LazyValue()
252        "Button.darkShadow", new ColorUIResource(Color.darkGray),        {
253            public Object createValue(UIDefaults table)
254            {
255              return BasicBorders.getButtonBorder();
256            }
257          },
258          "Button.darkShadow", new ColorUIResource(shadow),
259        "Button.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "Button.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
260          "SPACE",  "pressed",          "SPACE",  "pressed",
261          "released SPACE", "released"          "released SPACE", "released"
262        }),        }),
       "Button.focus", midPurple,  
263        "Button.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Button.font", new FontUIResource("Dialog", Font.PLAIN, 12),
264        "Button.foreground", new ColorUIResource(Color.black),        "Button.foreground", new ColorUIResource(darkShadow),
265        "Button.highlight", new ColorUIResource(Color.white),        "Button.highlight", new ColorUIResource(highLight),
266        "Button.light", new ColorUIResource(Color.lightGray.brighter()),        "Button.light", new ColorUIResource(highLight),
267        "Button.margin", new InsetsUIResource(2, 2, 2, 2),        "Button.margin", new InsetsUIResource(2, 2, 2, 2),
268        "Button.shadow", new ColorUIResource(Color.gray),        "Button.shadow", new ColorUIResource(shadow),
269        "Button.textIconGap", new Integer(4),        "Button.textIconGap", new Integer(4),
270        "Button.textShiftOffset", new Integer(0),        "Button.textShiftOffset", new Integer(0),
271        "CheckBox.background", new ColorUIResource(Color.lightGray),        "CheckBox.background", new ColorUIResource(light),
272        "CheckBox.border", new BorderUIResource.CompoundBorderUIResource(null,        "CheckBox.border", new BorderUIResource.CompoundBorderUIResource(null,
273                                                                         null),                                                                         null),
       "CheckBox.darkShadow", new ColorUIResource(Color.darkGray),  
274        "CheckBox.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "CheckBox.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
275          "SPACE",  "pressed",          "SPACE",  "pressed",
276          "released SPACE", "released"          "released SPACE", "released"
277        }),        }),
278        "CheckBox.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "CheckBox.font", new FontUIResource("Dialog", Font.PLAIN, 12),
279        "CheckBox.foreground", new ColorUIResource(Color.black),        "CheckBox.foreground", new ColorUIResource(darkShadow),
       "CheckBox.highlight", new ColorUIResource(Color.white),  
280        "CheckBox.icon", BasicIconFactory.getCheckBoxIcon(),        "CheckBox.icon", BasicIconFactory.getCheckBoxIcon(),
       "CheckBox.light", new ColorUIResource(Color.lightGray.brighter()),  
281        "CheckBox.margin",new InsetsUIResource(2, 2, 2, 2),        "CheckBox.margin",new InsetsUIResource(2, 2, 2, 2),
       "CheckBox.shadow", new ColorUIResource(Color.gray),  
282        "CheckBox.textIconGap", new Integer(4),        "CheckBox.textIconGap", new Integer(4),
283        "CheckBox.textShiftOffset", new Integer(0),        "CheckBox.textShiftOffset", new Integer(0),
284        "CheckBoxMenuItem.acceleratorFont", new FontUIResource("Dialog",        "CheckBoxMenuItem.acceleratorFont", new FontUIResource("Dialog",
285                                                               Font.PLAIN, 12),                                                               Font.PLAIN, 12),
286        "CheckBoxMenuItem.acceleratorForeground", new ColorUIResource(Color.black),        "CheckBoxMenuItem.acceleratorForeground",
287        "CheckBoxMenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),        new ColorUIResource(darkShadow),
288          "CheckBoxMenuItem.acceleratorSelectionForeground",
289          new ColorUIResource(Color.white),
290        "CheckBoxMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),        "CheckBoxMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
291        "CheckBoxMenuItem.background", new ColorUIResource(Color.lightGray),        "CheckBoxMenuItem.background", new ColorUIResource(light),
292        "CheckBoxMenuItem.border", new BasicBorders.MarginBorder(),        "CheckBoxMenuItem.border", new BasicBorders.MarginBorder(),
293        "CheckBoxMenuItem.borderPainted", Boolean.FALSE,        "CheckBoxMenuItem.borderPainted", Boolean.FALSE,
294        "CheckBoxMenuItem.checkIcon", BasicIconFactory.getCheckBoxMenuItemIcon(),        "CheckBoxMenuItem.checkIcon", BasicIconFactory.getCheckBoxMenuItemIcon(),
295        "CheckBoxMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "CheckBoxMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
296        "CheckBoxMenuItem.foreground", new ColorUIResource(Color.black),        "CheckBoxMenuItem.foreground", new ColorUIResource(darkShadow),
297        "CheckBoxMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),        "CheckBoxMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
298        "CheckBoxMenuItem.selectionBackground", new ColorUIResource(lightPurple),        "CheckBoxMenuItem.selectionBackground", new ColorUIResource(Color.black),
299        "CheckBoxMenuItem.selectionForeground", new ColorUIResource(Color.black),        "CheckBoxMenuItem.selectionForeground", new ColorUIResource(Color.white),
300        "ColorChooser.background", new ColorUIResource(Color.lightGray),        "ColorChooser.background", new ColorUIResource(light),
301        "ColorChooser.cancelText", "Cancel",        "ColorChooser.cancelText", "Cancel",
302        "ColorChooser.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "ColorChooser.font", new FontUIResource("Dialog", Font.PLAIN, 12),
303        "ColorChooser.foreground", new ColorUIResource(Color.black),        "ColorChooser.foreground", new ColorUIResource(darkShadow),
304        "ColorChooser.hsbBlueText", "B",        "ColorChooser.hsbBlueText", "B",
305        "ColorChooser.hsbBrightnessText", "B",        "ColorChooser.hsbBrightnessText", "B",
306        "ColorChooser.hsbGreenText", "G",        "ColorChooser.hsbGreenText", "G",
# Line 312  public abstract class BasicLookAndFeel e Line 319  public abstract class BasicLookAndFeel e
319        "ColorChooser.rgbRedMnemonic", new Integer(82),        "ColorChooser.rgbRedMnemonic", new Integer(82),
320        "ColorChooser.rgbRedText", "Red",        "ColorChooser.rgbRedText", "Red",
321        "ColorChooser.sampleText", "Sample Text  Sample Text",        "ColorChooser.sampleText", "Sample Text  Sample Text",
322        "ColorChooser.swatchesDefaultRecentColor", new ColorUIResource(Color.lightGray),        "ColorChooser.swatchesDefaultRecentColor", new ColorUIResource(light),
323        "ColorChooser.swatchesNameText", "Swatches",        "ColorChooser.swatchesNameText", "Swatches",
324        "ColorChooser.swatchesRecentSwatchSize", new Dimension(10, 10),        "ColorChooser.swatchesRecentSwatchSize", new Dimension(10, 10),
325        "ColorChooser.swatchesRecentText", "Recent:",        "ColorChooser.swatchesRecentText", "Recent:",
# Line 324  public abstract class BasicLookAndFeel e Line 331  public abstract class BasicLookAndFeel e
331          "HOME",  "homePassThrough",          "HOME",  "homePassThrough",
332          "END",  "endPassThrough"          "END",  "endPassThrough"
333        }),        }),
334        "ComboBox.background", new ColorUIResource(Color.white),        "ComboBox.background", new ColorUIResource(light),
335        "ComboBox.disabledBackground", new ColorUIResource(Color.lightGray),        "ComboBox.buttonBackground", new ColorUIResource(light),
336          "ComboBox.buttonDarkShadow", new ColorUIResource(shadow),
337          "ComboBox.buttonHighlight", new ColorUIResource(highLight),
338          "ComboBox.buttonShadow", new ColorUIResource(shadow),
339          "ComboBox.disabledBackground", new ColorUIResource(light),
340        "ComboBox.disabledForeground", new ColorUIResource(Color.gray),        "ComboBox.disabledForeground", new ColorUIResource(Color.gray),
341        "ComboBox.font", new FontUIResource("SansSerif", Font.PLAIN, 12),        "ComboBox.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
342        "ComboBox.foreground", new ColorUIResource(Color.black),        "ComboBox.foreground", new ColorUIResource(Color.black),
343        "ComboBox.selectionBackground", new ColorUIResource(lightPurple),        "ComboBox.selectionBackground", new ColorUIResource(Color.black),
344        "ComboBox.selectionForeground", new ColorUIResource(Color.black),        "ComboBox.selectionForeground", new ColorUIResource(Color.white),
345        "Desktop.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "Desktop.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
346          "KP_LEFT", "left",          "KP_LEFT", "left",
347          "KP_RIGHT", "right",          "KP_RIGHT", "right",
# Line 352  public abstract class BasicLookAndFeel e Line 363  public abstract class BasicLookAndFeel e
363          "ctrl F10", "maximize",          "ctrl F10", "maximize",
364          "ctrl alt shift F6","selectPreviousFrame"          "ctrl alt shift F6","selectPreviousFrame"
365        }),        }),
366        "Desktop.background", new ColorUIResource(175, 163, 236),        "Desktop.background", new ColorUIResource(0, 92, 92),
367        "DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null,        "DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null,
368                                                                            null),                                                                            null),
369        "EditorPane.background", new ColorUIResource(Color.white),        "EditorPane.background", new ColorUIResource(Color.white),
370        "EditorPane.border", new BasicBorders.MarginBorder(),        "EditorPane.border", new BasicBorders.MarginBorder(),
371        "EditorPane.caretBlinkRate", new Integer(500),        "EditorPane.caretBlinkRate", new Integer(500),
372        "EditorPane.caretForeground", new ColorUIResource(Color.red),        "EditorPane.caretForeground", new ColorUIResource(Color.black),
373        "EditorPane.font", new FontUIResource("Serif", Font.PLAIN, 12),        "EditorPane.font", new FontUIResource("Serif", Font.PLAIN, 12),
374        "EditorPane.foreground", new ColorUIResource(Color.black),        "EditorPane.foreground", new ColorUIResource(Color.black),
375        "EditorPane.inactiveForeground", new ColorUIResource(Color.gray),        "EditorPane.inactiveForeground", new ColorUIResource(Color.gray),
# Line 377  public abstract class BasicLookAndFeel e Line 388  public abstract class BasicLookAndFeel e
388                                                               0), "insert-tab")                                                               0), "insert-tab")
389            },            },
390        "EditorPane.margin", new InsetsUIResource(3, 3, 3, 3),        "EditorPane.margin", new InsetsUIResource(3, 3, 3, 3),
391        "EditorPane.selectionBackground", new ColorUIResource(Color.lightGray),        "EditorPane.selectionBackground", new ColorUIResource(Color.black),
392        "EditorPane.selectionForeground", new ColorUIResource(Color.white),        "EditorPane.selectionForeground", new ColorUIResource(Color.white),
393        "FileChooser.acceptAllFileFilterText", "All Files (*.*)",        "FileChooser.acceptAllFileFilterText", "All Files (*.*)",
394        "FileChooser.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "FileChooser.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
# Line 423  public abstract class BasicLookAndFeel e Line 434  public abstract class BasicLookAndFeel e
434        // XXX Don't use gif        // XXX Don't use gif
435        "FileView.hardDriveIcon", new IconUIResource(new ImageIcon("icons/HardDrive.gif")),        "FileView.hardDriveIcon", new IconUIResource(new ImageIcon("icons/HardDrive.gif")),
436        "FocusManagerClassName", "TODO",        "FocusManagerClassName", "TODO",
437          "FormattedTextField.background", new ColorUIResource(light),
438          "FormattedTextField.caretForeground", new ColorUIResource(Color.black),
439          "FormattedTextField.foreground", new ColorUIResource(Color.black),
440          "FormattedTextField.inactiveBackground", new ColorUIResource(light),
441          "FormattedTextField.inactiveForeground", new ColorUIResource(Color.gray),
442          "FormattedTextField.selectionBackground",
443          new ColorUIResource(Color.black),
444          "FormattedTextField.selectionForeground",
445          new ColorUIResource(Color.white),
446        "FormView.resetButtonText", "Reset",        "FormView.resetButtonText", "Reset",
447        "FormView.submitButtonText", "Submit Query",        "FormView.submitButtonText", "Submit Query",
448        "InternalFrame.activeTitleBackground", new ColorUIResource(162, 167, 241),        "InternalFrame.activeTitleBackground", new ColorUIResource(0, 0, 128),
449        "InternalFrame.activeTitleForeground", new ColorUIResource(Color.black),        "InternalFrame.activeTitleForeground", new ColorUIResource(Color.white),
450        "InternalFrame.border", new BorderUIResource.CompoundBorderUIResource(null,        "InternalFrame.border",
451                                                                              null),        new BorderUIResource.CompoundBorderUIResource(null, null),
452          "InternalFrame.borderColor", new ColorUIResource(light),
453          "InternalFrame.borderDarkShadow", new ColorUIResource(shadow),
454          "InternalFrame.borderHighlight", new ColorUIResource(highLight),
455          "InternalFrame.borderLight", new ColorUIResource(light),
456          "InternalFrame.borderShadow", new ColorUIResource(shadow),
457        "InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(),        "InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(),
458        // XXX Don't use gif        // XXX Don't use gif
459        "InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")),        "InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")),
460        "InternalFrame.iconifyIcon", BasicIconFactory.createEmptyFrameIcon(),        "InternalFrame.iconifyIcon", BasicIconFactory.createEmptyFrameIcon(),
461        "InternalFrame.inactiveTitleBackground", new ColorUIResource(Color.lightGray),        "InternalFrame.inactiveTitleBackground", new ColorUIResource(Color.gray),
462        "InternalFrame.inactiveTitleForeground", new ColorUIResource(Color.black),        "InternalFrame.inactiveTitleForeground",
463          new ColorUIResource(Color.lightGray),
464        "InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(),        "InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(),
465        "InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(),        "InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(),
466        "InternalFrame.titleFont", new FontUIResource("Dialog", Font.PLAIN, 12),        "InternalFrame.titleFont", new FontUIResource("Dialog", Font.PLAIN, 12),
# Line 443  public abstract class BasicLookAndFeel e Line 469  public abstract class BasicLookAndFeel e
469          "ctrl SPACE",  "showSystemMenu",          "ctrl SPACE",  "showSystemMenu",
470          "ESCAPE",  "showSystemMenu"          "ESCAPE",  "showSystemMenu"
471        },        },
472        "Label.background", new ColorUIResource(Color.lightGray),        "Label.background", new ColorUIResource(light),
473        "Label.disabledForeground", new ColorUIResource(Color.white),        "Label.disabledForeground", new ColorUIResource(Color.white),
474        "Label.disabledShadow", new ColorUIResource(Color.gray),        "Label.disabledShadow", new ColorUIResource(shadow),
475        "Label.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Label.font", new FontUIResource("Dialog", Font.PLAIN, 12),
476        "Label.foreground", new ColorUIResource(Color.black),        "Label.foreground", new ColorUIResource(darkShadow),
477        "List.background", new ColorUIResource(Color.white),        "List.background", new ColorUIResource(light),
478        "List.border", new BasicBorders.MarginBorder(),        "List.border", new BasicBorders.MarginBorder(),
479        "List.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "List.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
480          "PAGE_UP", "scrollUp",          "PAGE_UP", "scrollUp",
# Line 470  public abstract class BasicLookAndFeel e Line 496  public abstract class BasicLookAndFeel e
496          "shift PAGE_UP","scrollUpExtendSelection",          "shift PAGE_UP","scrollUpExtendSelection",
497          "KP_DOWN", "selectNextRow"          "KP_DOWN", "selectNextRow"
498        }),        }),
499        "List.foreground", new ColorUIResource(Color.black),        "List.foreground", new ColorUIResource(darkShadow),
500        "List.selectionBackground", new ColorUIResource(0xCC, 0xCC, 0xFF),        "List.selectionBackground", new ColorUIResource(Color.black),
501        "List.selectionForeground", new ColorUIResource(Color.black),        "List.selectionForeground", new ColorUIResource(Color.white),
502        "Menu.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),        "Menu.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),
503        "Menu.acceleratorForeground", new ColorUIResource(Color.black),        "Menu.acceleratorForeground", new ColorUIResource(darkShadow),
504        "Menu.acceleratorSelectionForeground", new ColorUIResource(Color.white),        "Menu.acceleratorSelectionForeground", new ColorUIResource(Color.white),
505        "Menu.arrowIcon", BasicIconFactory.getMenuArrowIcon(),        "Menu.arrowIcon", BasicIconFactory.getMenuArrowIcon(),
506        "Menu.background", new ColorUIResource(Color.lightGray),        "Menu.background", new ColorUIResource(light),
507        "Menu.border", new BasicBorders.MarginBorder(),        "Menu.border", new BasicBorders.MarginBorder(),
508        "Menu.borderPainted", Boolean.FALSE,        "Menu.borderPainted", Boolean.FALSE,
509        "Menu.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),        "Menu.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),
510        "Menu.consumesTabs", Boolean.TRUE,        "Menu.consumesTabs", Boolean.TRUE,
511        "Menu.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Menu.font", new FontUIResource("Dialog", Font.PLAIN, 12),
512        "Menu.foreground", new ColorUIResource(Color.black),        "Menu.foreground", new ColorUIResource(darkShadow),
513        "Menu.margin", new InsetsUIResource(2, 2, 2, 2),        "Menu.margin", new InsetsUIResource(2, 2, 2, 2),
514        "Menu.selectedWindowInputMapBindings", new Object[] {        "Menu.selectedWindowInputMapBindings", new Object[] {
515          "ESCAPE", "cancel",          "ESCAPE", "cancel",
# Line 498  public abstract class BasicLookAndFeel e Line 524  public abstract class BasicLookAndFeel e
524          "ENTER", "return",          "ENTER", "return",
525          "SPACE", "return"          "SPACE", "return"
526        },        },
527        "Menu.selectionBackground", new ColorUIResource(lightPurple),        "Menu.selectionBackground", new ColorUIResource(Color.black),
528        "Menu.selectionForeground", new ColorUIResource(Color.black),        "Menu.selectionForeground", new ColorUIResource(Color.white),
529        "MenuBar.background", new ColorUIResource(Color.lightGray),        "MenuBar.background", new ColorUIResource(light),
530        "MenuBar.border", new BasicBorders.MenuBarBorder(null, null),        "MenuBar.border", new BasicBorders.MenuBarBorder(null, null),
531        "MenuBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "MenuBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
532        "MenuBar.foreground", new ColorUIResource(Color.black),        "MenuBar.foreground", new ColorUIResource(darkShadow),
533          "MenuBar.highlight", new ColorUIResource(highLight),
534          "MenuBar.shadow", new ColorUIResource(shadow),
535        "MenuBar.windowBindings", new Object[] {        "MenuBar.windowBindings", new Object[] {
536          "F10", "takeFocus"          "F10", "takeFocus"
537        },        },
538        "MenuItem.acceleratorDelimiter", "-",        "MenuItem.acceleratorDelimiter", "-",
539        "MenuItem.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),        "MenuItem.acceleratorFont", new FontUIResource("Dialog", Font.PLAIN, 12),
540        "MenuItem.acceleratorForeground", new ColorUIResource(Color.black),        "MenuItem.acceleratorForeground", new ColorUIResource(darkShadow),
541        "MenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),        "MenuItem.acceleratorSelectionForeground",
542          new ColorUIResource(Color.white),
543        "MenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),        "MenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
544        "MenuItem.background", new ColorUIResource(Color.lightGray),        "MenuItem.background", new ColorUIResource(light),
545        "MenuItem.border", new BasicBorders.MarginBorder(),        "MenuItem.border", new BasicBorders.MarginBorder(),
546        "MenuItem.borderPainted", Boolean.FALSE,        "MenuItem.borderPainted", Boolean.FALSE,
547        "MenuItem.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),        "MenuItem.checkIcon", BasicIconFactory.getMenuItemCheckIcon(),
548        "MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
549        "MenuItem.foreground", new ColorUIResource(Color.black),        "MenuItem.foreground", new ColorUIResource(darkShadow),
550        "MenuItem.margin", new InsetsUIResource(2, 2, 2, 2),        "MenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
551        "MenuItem.selectionBackground", new ColorUIResource(lightPurple),        "MenuItem.selectionBackground", new ColorUIResource(Color.black),
552        "MenuItem.selectionForeground", new ColorUIResource(Color.black),        "MenuItem.selectionForeground", new ColorUIResource(Color.white),
553        "OptionPane.background", new ColorUIResource(Color.lightGray),        "OptionPane.background", new ColorUIResource(light),
554        "OptionPane.border", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),        "OptionPane.border",
555        "OptionPane.buttonAreaBorder", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),        new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
556          "OptionPane.buttonAreaBorder",
557          new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
558        "OptionPane.cancelButtonText", "Cancel",        "OptionPane.cancelButtonText", "Cancel",
559        // XXX Don't use gif        // XXX Don't use gif
560        "OptionPane.errorIcon", new IconUIResource(new ImageIcon("icons/Error.gif")),        "OptionPane.errorIcon",
561          new IconUIResource(new ImageIcon("icons/Error.gif")),
562        "OptionPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "OptionPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
563        "OptionPane.foreground", new ColorUIResource(Color.black),        "OptionPane.foreground", new ColorUIResource(darkShadow),
564        // XXX Don't use gif        // XXX Don't use gif
565        "OptionPane.informationIcon", new IconUIResource(new ImageIcon("icons/Inform.gif")),        "OptionPane.informationIcon",
566        "OptionPane.messageAreaBorder", new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),        new IconUIResource(new ImageIcon("icons/Inform.gif")),
567        "OptionPane.messageForeground", new ColorUIResource(Color.black),        "OptionPane.messageAreaBorder",
568          new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0),
569          "OptionPane.messageForeground", new ColorUIResource(darkShadow),
570        "OptionPane.minimumSize", new DimensionUIResource(262, 90),        "OptionPane.minimumSize", new DimensionUIResource(262, 90),
571        "OptionPane.noButtonText", "No",        "OptionPane.noButtonText", "No",
572        "OptionPane.okButtonText", "OK",        "OptionPane.okButtonText", "OK",
573        // XXX Don't use gif        // XXX Don't use gif
574        "OptionPane.questionIcon", new IconUIResource(new ImageIcon("icons/Question.gif")),        "OptionPane.questionIcon",
575          new IconUIResource(new ImageIcon("icons/Question.gif")),
576        // XXX Don't use gif        // XXX Don't use gif
577        "OptionPane.warningIcon", new IconUIResource(new ImageIcon("icons/Warn.gif")),        "OptionPane.warningIcon",
578          new IconUIResource(new ImageIcon("icons/Warn.gif")),
579        "OptionPane.windowBindings", new Object[] {        "OptionPane.windowBindings", new Object[] {
580          "ESCAPE",  "close"          "ESCAPE",  "close"
581        },        },
582        "OptionPane.yesButtonText", "Yes",        "OptionPane.yesButtonText", "Yes",
583        "Panel.background", new ColorUIResource(Color.lightGray),        "Panel.background", new ColorUIResource(light),
584        "Panel.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Panel.font", new FontUIResource("Dialog", Font.PLAIN, 12),
585        "Panel.foreground", new ColorUIResource(Color.black),        "Panel.foreground", new ColorUIResource(Color.black),
586        "PasswordField.background", new ColorUIResource(Color.white),        "PasswordField.background", new ColorUIResource(light),
587        "PasswordField.border", new BasicBorders.FieldBorder(null, null,        "PasswordField.border", new BasicBorders.FieldBorder(null, null,
588                                                             null, null),                                                             null, null),
589        "PasswordField.caretBlinkRate", new Integer(500),        "PasswordField.caretBlinkRate", new Integer(500),
590        "PasswordField.caretForeground", new ColorUIResource(Color.black),        "PasswordField.caretForeground", new ColorUIResource(Color.black),
591        "PasswordField.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),        "PasswordField.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),
592        "PasswordField.foreground", new ColorUIResource(Color.black),        "PasswordField.foreground", new ColorUIResource(Color.black),
593          "PasswordField.inactiveBackground", new ColorUIResource(light),
594        "PasswordField.inactiveForeground", new ColorUIResource(Color.gray),        "PasswordField.inactiveForeground", new ColorUIResource(Color.gray),
595        "PasswordField.keyBindings", new JTextComponent.KeyBinding[] {        "PasswordField.keyBindings", new JTextComponent.KeyBinding[] {
596          new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,          new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
597                                                               0),                                                               0),
598                                        "notify-field-accept")},                                        "notify-field-accept")},
599        "PasswordField.margin", new InsetsUIResource(0, 0, 0, 0),        "PasswordField.margin", new InsetsUIResource(0, 0, 0, 0),
600        "PasswordField.selectionBackground", new ColorUIResource(lightPurple),        "PasswordField.selectionBackground", new ColorUIResource(Color.black),
601        "PasswordField.selectionForeground", new ColorUIResource(Color.black),        "PasswordField.selectionForeground", new ColorUIResource(Color.white),
602        "PopupMenu.background", new ColorUIResource(Color.lightGray),        "PopupMenu.background", new ColorUIResource(light),
603        "PopupMenu.border", new BorderUIResource.BevelBorderUIResource(0),        "PopupMenu.border", new BorderUIResource.BevelBorderUIResource(0),
604        "PopupMenu.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "PopupMenu.font", new FontUIResource("Dialog", Font.PLAIN, 12),
605        "PopupMenu.foreground", new ColorUIResource(Color.black),        "PopupMenu.foreground", new ColorUIResource(darkShadow),
606        "ProgressBar.background", new ColorUIResource(Color.lightGray),        "ProgressBar.background", new ColorUIResource(light),
607        "ProgressBar.border", new BorderUIResource.LineBorderUIResource(Color.darkGray),        "ProgressBar.border", new BorderUIResource.LineBorderUIResource(Color.darkGray),
608        "ProgressBar.cellLength", new Integer(1),        "ProgressBar.cellLength", new Integer(1),
609        "ProgressBar.cellSpacing", new Integer(0),        "ProgressBar.cellSpacing", new Integer(0),
610        "ProgressBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "ProgressBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
611        "ProgressBar.foreground", new ColorUIResource(midPurple),        "ProgressBar.foreground", new ColorUIResource(Color.black),
612        "ProgressBar.selectionBackground", new ColorUIResource(lightPurple),        "ProgressBar.selectionBackground", new ColorUIResource(Color.black),
613        "ProgressBar.selectionForeground", new ColorUIResource(Color.lightGray),        "ProgressBar.selectionForeground", new ColorUIResource(light),
614        "ProgressBar.repaintInterval", new Integer(250),        "ProgressBar.repaintInterval", new Integer(250),
615        "ProgressBar.cycleTime", new Integer(6000),        "ProgressBar.cycleTime", new Integer(6000),
616        "RadioButton.background", new ColorUIResource(Color.lightGray),        "RadioButton.background", new ColorUIResource(light),
617        "RadioButton.border", new BorderUIResource.CompoundBorderUIResource(null,        "RadioButton.border", new BorderUIResource.CompoundBorderUIResource(null,
618                                                                            null),                                                                            null),
619        "RadioButton.darkShadow", new ColorUIResource(Color.darkGray),        "RadioButton.darkShadow", new ColorUIResource(shadow),
620        "RadioButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "RadioButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
621          "SPACE",  "pressed",          "SPACE",  "pressed",
622          "released SPACE", "released"          "released SPACE", "released"
623        }),        }),
624        "RadioButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "RadioButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),
625        "RadioButton.foreground", new ColorUIResource(Color.black),        "RadioButton.foreground", new ColorUIResource(darkShadow),
626        "RadioButton.highlight", new ColorUIResource(Color.white),        "RadioButton.highlight", new ColorUIResource(highLight),
627        "RadioButton.icon", BasicIconFactory.getRadioButtonIcon(),        "RadioButton.icon", BasicIconFactory.getRadioButtonIcon(),
628        "RadioButton.light", new ColorUIResource(Color.lightGray.brighter()),        "RadioButton.light", new ColorUIResource(highLight),
629        "RadioButton.margin", new InsetsUIResource(2, 2, 2, 2),        "RadioButton.margin", new InsetsUIResource(2, 2, 2, 2),
630        "RadioButton.shadow", new ColorUIResource(Color.gray),        "RadioButton.shadow", new ColorUIResource(shadow),
631        "RadioButton.textIconGap", new Integer(4),        "RadioButton.textIconGap", new Integer(4),
632        "RadioButton.textShiftOffset", new Integer(0),        "RadioButton.textShiftOffset", new Integer(0),
633        "RadioButtonMenuItem.acceleratorFont", new FontUIResource("Dialog",        "RadioButtonMenuItem.acceleratorFont",
634                                                                  Font.PLAIN, 12),        new FontUIResource("Dialog", Font.PLAIN, 12),
635        "RadioButtonMenuItem.acceleratorForeground", new ColorUIResource(Color.black),        "RadioButtonMenuItem.acceleratorForeground",
636        "RadioButtonMenuItem.acceleratorSelectionForeground", new ColorUIResource(Color.white),        new ColorUIResource(darkShadow),
637          "RadioButtonMenuItem.acceleratorSelectionForeground",
638          new ColorUIResource(Color.white),
639        "RadioButtonMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),        "RadioButtonMenuItem.arrowIcon", BasicIconFactory.getMenuItemArrowIcon(),
640        "RadioButtonMenuItem.background", new ColorUIResource(Color.lightGray),        "RadioButtonMenuItem.background", new ColorUIResource(light),
641        "RadioButtonMenuItem.border", new BasicBorders.MarginBorder(),        "RadioButtonMenuItem.border", new BasicBorders.MarginBorder(),
642        "RadioButtonMenuItem.borderPainted", Boolean.FALSE,        "RadioButtonMenuItem.borderPainted", Boolean.FALSE,
643        "RadioButtonMenuItem.checkIcon", BasicIconFactory.getRadioButtonMenuItemIcon(),        "RadioButtonMenuItem.checkIcon", BasicIconFactory.getRadioButtonMenuItemIcon(),
644        "RadioButtonMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "RadioButtonMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12),
645        "RadioButtonMenuItem.foreground", new ColorUIResource(Color.black),        "RadioButtonMenuItem.foreground", new ColorUIResource(darkShadow),
646        "RadioButtonMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),        "RadioButtonMenuItem.margin", new InsetsUIResource(2, 2, 2, 2),
647        "RadioButtonMenuItem.selectionBackground", new ColorUIResource(lightPurple),        "RadioButtonMenuItem.selectionBackground",
648        "RadioButtonMenuItem.selectionForeground", new ColorUIResource(Color.black),        new ColorUIResource(Color.black),
649          "RadioButtonMenuItem.selectionForeground",
650          new ColorUIResource(Color.white),
651        "RootPane.defaultButtonWindowKeyBindings", new Object[] {        "RootPane.defaultButtonWindowKeyBindings", new Object[] {
652          "ENTER",  "press",          "ENTER",  "press",
653          "released ENTER", "release",          "released ENTER", "release",
# Line 628  public abstract class BasicLookAndFeel e Line 669  public abstract class BasicLookAndFeel e
669          "DOWN",  "positiveUnitIncrement",          "DOWN",  "positiveUnitIncrement",
670          "KP_RIGHT", "negativeUnitIncrement"          "KP_RIGHT", "negativeUnitIncrement"
671        }),        }),
672        "ScrollBar.foreground", new ColorUIResource(Color.lightGray),        "ScrollBar.foreground", new ColorUIResource(light),
673        "ScrollBar.maximumThumbSize", new DimensionUIResource(4096, 4096),        "ScrollBar.maximumThumbSize", new DimensionUIResource(4096, 4096),
674        "ScrollBar.minimumThumbSize", new DimensionUIResource(8, 8),        "ScrollBar.minimumThumbSize", new DimensionUIResource(8, 8),
675        "ScrollBar.thumb", new ColorUIResource(Color.lightGray),        "ScrollBar.thumb", new ColorUIResource(light),
676        "ScrollBar.thumbDarkShadow", new ColorUIResource(Color.black),        "ScrollBar.thumbDarkShadow", new ColorUIResource(shadow),
677        "ScrollBar.thumbHighlight", new ColorUIResource(Color.white),        "ScrollBar.thumbHighlight", new ColorUIResource(highLight),
678        "ScrollBar.thumbLightShadow", new ColorUIResource(Color.gray),        "ScrollBar.thumbShadow", new ColorUIResource(shadow),
679        "ScrollBar.track", new ColorUIResource(224, 224, 224),        "ScrollBar.track", new ColorUIResource(light),
680        "ScrollBar.trackHighlight", new ColorUIResource(Color.black),        "ScrollBar.trackHighlight", new ColorUIResource(shadow),
681        "ScrollPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "ScrollPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
682          "PAGE_UP", "scrollUp",          "PAGE_UP", "scrollUp",
683          "KP_LEFT", "unitScrollLeft",          "KP_LEFT", "unitScrollLeft",
# Line 653  public abstract class BasicLookAndFeel e Line 694  public abstract class BasicLookAndFeel e
694          "KP_UP", "unitScrollUp",          "KP_UP", "unitScrollUp",
695          "KP_DOWN", "unitScrollDown"          "KP_DOWN", "unitScrollDown"
696        }),        }),
697        "ScrollPane.background", new ColorUIResource(Color.lightGray),        "ScrollPane.background", new ColorUIResource(light),
698        "ScrollPane.border", new BorderUIResource.EtchedBorderUIResource(),        "ScrollPane.border", new BorderUIResource.EtchedBorderUIResource(),
699        "ScrollPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "ScrollPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
700        "ScrollPane.foreground", new ColorUIResource(Color.black),        "ScrollPane.foreground", new ColorUIResource(darkShadow),
701        "Separator.background", new ColorUIResource(Color.white),        "Separator.background", new ColorUIResource(highLight),
702        "Separator.foreground", new ColorUIResource(Color.gray),        "Separator.foreground", new ColorUIResource(shadow),
703        "Separator.highlight", new ColorUIResource(Color.white),        "Separator.highlight", new ColorUIResource(highLight),
704        "Separator.shadow", new ColorUIResource(Color.gray),        "Separator.shadow", new ColorUIResource(shadow),
705        "Slider.background", new ColorUIResource(Color.lightGray),        "Slider.background", new ColorUIResource(light),
706        "Slider.focus", new ColorUIResource(Color.black),        "Slider.focus", new ColorUIResource(shadow),
707        "Slider.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "Slider.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
708          "PAGE_UP", "positiveBlockIncrement",          "PAGE_UP", "positiveBlockIncrement",
709          "PAGE_DOWN", "negativeBlockIncrement",          "PAGE_DOWN", "negativeBlockIncrement",
# Line 678  public abstract class BasicLookAndFeel e Line 719  public abstract class BasicLookAndFeel e
719          "KP_RIGHT", "positiveUnitIncrement"          "KP_RIGHT", "positiveUnitIncrement"
720        }),        }),
721        "Slider.focusInsets", new InsetsUIResource(2, 2, 2, 2),        "Slider.focusInsets", new InsetsUIResource(2, 2, 2, 2),
722        "Slider.foreground", new ColorUIResource(Color.lightGray),        "Slider.foreground", new ColorUIResource(light),
723        "Slider.highlight", new ColorUIResource(Color.white),        "Slider.highlight", new ColorUIResource(highLight),
724        "Slider.shadow", new ColorUIResource(Color.gray),        "Slider.shadow", new ColorUIResource(shadow),
725        "Slider.thumbHeight", new Integer(20),        "Slider.thumbHeight", new Integer(20),
726        "Slider.thumbWidth", new Integer(10),        "Slider.thumbWidth", new Integer(10),
727        "Slider.tickHeight", new Integer(12),        "Slider.tickHeight", new Integer(12),
728          "Spinner.background", new ColorUIResource(light),
729          "Spinner.foreground", new ColorUIResource(light),
730        "SplitPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "SplitPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
731          "F6",  "toggleFocus",          "F6",  "toggleFocus",
732          "F8",  "startResize",          "F8",  "startResize",
# Line 698  public abstract class BasicLookAndFeel e Line 741  public abstract class BasicLookAndFeel e
741          "DOWN",  "positiveIncrement",          "DOWN",  "positiveIncrement",
742          "KP_RIGHT", "positiveIncrement"          "KP_RIGHT", "positiveIncrement"
743        }),        }),
744        "SplitPane.background", new ColorUIResource(Color.lightGray),        "SplitPane.background", new ColorUIResource(light),
745        "SplitPane.border", new BasicBorders.SplitPaneBorder(null, null),        "SplitPane.border", new BasicBorders.SplitPaneBorder(null, null),
746          "SplitPane.darkShadow", new ColorUIResource(shadow),
747        "SplitPane.dividerSize", new Integer(10),        "SplitPane.dividerSize", new Integer(10),
748        "SplitPane.highlight", new ColorUIResource(Color.white),        "SplitPane.highlight", new ColorUIResource(highLight),
749        "SplitPane.shadow", new ColorUIResource(Color.gray),        "SplitPane.shadow", new ColorUIResource(shadow),
750        "TabbedPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "TabbedPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
751          "ctrl PAGE_DOWN","navigatePageDown",          "ctrl PAGE_DOWN","navigatePageDown",
752          "ctrl PAGE_UP", "navigatePageUp",          "ctrl PAGE_UP", "navigatePageUp",
753          "ctrl UP", "requestFocus",          "ctrl UP", "requestFocus",
754          "ctrl KP_UP", "requestFocus"          "ctrl KP_UP", "requestFocus"
755        }),        }),
756        "TabbedPane.background", new ColorUIResource(Color.LIGHT_GRAY),        "TabbedPane.background", new ColorUIResource(light),
757        "TabbedPane.contentBorderInsets", new InsetsUIResource(2, 2, 3, 3),        "TabbedPane.contentBorderInsets", new InsetsUIResource(2, 2, 3, 3),
758        "TabbedPane.darkShadow", new ColorUIResource(Color.darkGray),        "TabbedPane.darkShadow", new ColorUIResource(shadow),
759        "TabbedPane.focus", new ColorUIResource(Color.black),        "TabbedPane.focus", new ColorUIResource(darkShadow),
760        "TabbedPane.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "TabbedPane.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
761          "LEFT",  "navigateLeft",          "LEFT",  "navigateLeft",
762          "KP_UP", "navigateUp",          "KP_UP", "navigateUp",
# Line 726  public abstract class BasicLookAndFeel e Line 770  public abstract class BasicLookAndFeel e
770          "DOWN",  "navigateDown"          "DOWN",  "navigateDown"
771        }),        }),
772        "TabbedPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "TabbedPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
773        "TabbedPane.foreground", new ColorUIResource(Color.black),        "TabbedPane.foreground", new ColorUIResource(darkShadow),
774        "TabbedPane.highlight", new ColorUIResource(Color.lightGray),        "TabbedPane.highlight", new ColorUIResource(highLight),
775        "TabbedPane.lightHighlight", new ColorUIResource(Color.white),        "TabbedPane.light", new ColorUIResource(highLight),
776        "TabbedPane.selectedTabPadInsets", new InsetsUIResource(2, 2, 2, 1),        "TabbedPane.selectedTabPadInsets", new InsetsUIResource(2, 2, 2, 1),
777        "TabbedPane.shadow", new ColorUIResource(Color.gray),        "TabbedPane.shadow", new ColorUIResource(shadow),
778        "TabbedPane.tabbedPaneTabAreaInsets", new InsetsUIResource(3, 2, 1, 2),        "TabbedPane.tabbedPaneTabAreaInsets", new InsetsUIResource(3, 2, 1, 2),
779        "TabbedPane.tabbedPaneTabInsets", new InsetsUIResource(1, 4, 1, 4),        "TabbedPane.tabbedPaneTabInsets", new InsetsUIResource(1, 4, 1, 4),
780        "TabbedPane.tabbedPaneContentBorderInsets", new InsetsUIResource(3, 2, 1, 2),        "TabbedPane.tabbedPaneContentBorderInsets", new InsetsUIResource(3, 2, 1, 2),
# Line 777  public abstract class BasicLookAndFeel e Line 821  public abstract class BasicLookAndFeel e
821          "ctrl PAGE_DOWN", "scrollRightChangeSelection",          "ctrl PAGE_DOWN", "scrollRightChangeSelection",
822          "PAGE_UP",   "scrollUpChangeSelection"          "PAGE_UP",   "scrollUpChangeSelection"
823        }),        }),
824        "Table.background", new ColorUIResource(Color.white),        "Table.background", new ColorUIResource(light),
825        "Table.focusCellBackground", new ColorUIResource(Color.white),        "Table.focusCellBackground", new ColorUIResource(light),
826        "Table.focusCellForeground", new ColorUIResource(Color.black),        "Table.focusCellForeground", new ColorUIResource(darkShadow),
827        "Table.focusCellHighlightBorder", new BorderUIResource.LineBorderUIResource(Color.white),        "Table.focusCellHighlightBorder",
828          new BorderUIResource.LineBorderUIResource(Color.white),
829        "Table.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Table.font", new FontUIResource("Dialog", Font.PLAIN, 12),
830        "Table.foreground", new ColorUIResource(Color.black),        "Table.foreground", new ColorUIResource(darkShadow),
831        "Table.gridColor", new ColorUIResource(Color.gray),        "Table.gridColor", new ColorUIResource(Color.gray),
832        "Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0),        "Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0),
833        "Table.selectionBackground", new ColorUIResource(lightPurple),        "Table.selectionBackground", new ColorUIResource(Color.black),
834        "Table.selectionForeground", new ColorUIResource(Color.black),        "Table.selectionForeground", new ColorUIResource(Color.white),
835        "TableHeader.background", new ColorUIResource(Color.lightGray),        "TableHeader.background", new ColorUIResource(light),
836        "TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0),        "TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0),
837        "TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12),
838        "TableHeader.foreground", new ColorUIResource(Color.black),        "TableHeader.foreground", new ColorUIResource(darkShadow),
839        "TextArea.background", new ColorUIResource(Color.white),        "TextArea.background", new ColorUIResource(light),
840        "TextArea.border", new BasicBorders.MarginBorder(),        "TextArea.border", new BasicBorders.MarginBorder(),
841        "TextArea.caretBlinkRate", new Integer(500),        "TextArea.caretBlinkRate", new Integer(500),
842        "TextArea.caretForeground", new ColorUIResource(Color.black),        "TextArea.caretForeground", new ColorUIResource(Color.black),
# Line 813  public abstract class BasicLookAndFeel e Line 858  public abstract class BasicLookAndFeel e
858                                                               0), "insert-tab")                                                               0), "insert-tab")
859            },            },
860        "TextArea.margin", new InsetsUIResource(0, 0, 0, 0),        "TextArea.margin", new InsetsUIResource(0, 0, 0, 0),
861        "TextArea.selectionBackground", new ColorUIResource(lightPurple),        "TextArea.selectionBackground", new ColorUIResource(Color.black),
862        "TextArea.selectionForeground", new ColorUIResource(Color.black),        "TextArea.selectionForeground", new ColorUIResource(Color.white),
863        "TextField.background", new ColorUIResource(Color.white),        "TextField.background", new ColorUIResource(light),
864        "TextField.border", new BasicBorders.FieldBorder(null, null, null, null),        "TextField.border", new BasicBorders.FieldBorder(null, null, null, null),
865        "TextField.caretBlinkRate", new Integer(500),        "TextField.caretBlinkRate", new Integer(500),
866        "TextField.caretForeground", new ColorUIResource(Color.black),        "TextField.caretForeground", new ColorUIResource(Color.black),
867          "TextField.darkShadow", new ColorUIResource(shadow),
868        "TextField.font", new FontUIResource("SansSerif", Font.PLAIN, 12),        "TextField.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
869        "TextField.foreground", new ColorUIResource(Color.black),        "TextField.foreground", new ColorUIResource(Color.black),
870          "TextField.highlight", new ColorUIResource(highLight),
871          "TextField.inactiveBackground", new ColorUIResource(light),
872        "TextField.inactiveForeground", new ColorUIResource(Color.gray),        "TextField.inactiveForeground", new ColorUIResource(Color.gray),
873          "TextField.light", new ColorUIResource(highLight),
874          "TextField.highlight", new ColorUIResource(light),
875        "TextField.keyBindings", new JTextComponent.KeyBinding[] {        "TextField.keyBindings", new JTextComponent.KeyBinding[] {
876          new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,          new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,
877                                                               0),                                                               0),
# Line 834  public abstract class BasicLookAndFeel e Line 884  public abstract class BasicLookAndFeel e
884                                                               "selection-forward"),                                                               "selection-forward"),
885            },            },
886        "TextField.margin", new InsetsUIResource(0, 0, 0, 0),        "TextField.margin", new InsetsUIResource(0, 0, 0, 0),
887        "TextField.selectionBackground", new ColorUIResource(lightPurple),        "TextField.selectionBackground", new ColorUIResource(Color.black),
888        "TextField.selectionForeground", new ColorUIResource(Color.black),        "TextField.selectionForeground", new ColorUIResource(Color.white),
889        "TextPane.background", new ColorUIResource(Color.white),        "TextPane.background", new ColorUIResource(Color.white),
890        "TextPane.border", new BasicBorders.MarginBorder(),        "TextPane.border", new BasicBorders.MarginBorder(),
891        "TextPane.caretBlinkRate", new Integer(500),        "TextPane.caretBlinkRate", new Integer(500),
# Line 858  public abstract class BasicLookAndFeel e Line 908  public abstract class BasicLookAndFeel e
908                                                               0), "insert-tab")                                                               0), "insert-tab")
909            },            },
910        "TextPane.margin", new InsetsUIResource(3, 3, 3, 3),        "TextPane.margin", new InsetsUIResource(3, 3, 3, 3),
911        "TextPane.selectionBackground", new ColorUIResource(Color.lightGray),        "TextPane.selectionBackground", new ColorUIResource(Color.black),
912        "TextPane.selectionForeground", new ColorUIResource(Color.white),        "TextPane.selectionForeground", new ColorUIResource(Color.white),
913        "TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(),        "TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(),
914        "TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12),
915        "TitledBorder.titleColor", new ColorUIResource(Color.black),        "TitledBorder.titleColor", new ColorUIResource(darkShadow),
916        "ToggleButton.background", new ColorUIResource(Color.lightGray),        "ToggleButton.background", new ColorUIResource(light),
917        "ToggleButton.border", new BorderUIResource.CompoundBorderUIResource(null, null),        "ToggleButton.border",
918          new BorderUIResource.CompoundBorderUIResource(null, null),
919          "ToggleButton.darkShadow", new ColorUIResource(shadow),
920        "ToggleButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "ToggleButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
921          "SPACE",  "pressed",          "SPACE",  "pressed",
922          "released SPACE", "released"          "released SPACE", "released"
923        }),        }),
924        "ToggleButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "ToggleButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),
925        "ToggleButton.foreground", new ColorUIResource(Color.black),        "ToggleButton.foreground", new ColorUIResource(darkShadow),
926          "ToggleButton.highlight", new ColorUIResource(highLight),
927          "ToggleButton.light", new ColorUIResource(light),
928        "ToggleButton.margin", new InsetsUIResource(2, 14, 2, 14),        "ToggleButton.margin", new InsetsUIResource(2, 14, 2, 14),
929          "ToggleButton.shadow", new ColorUIResource(shadow),
930        "ToggleButton.textIconGap", new Integer(4),        "ToggleButton.textIconGap", new Integer(4),
931        "ToggleButton.textShiftOffset", new Integer(0),        "ToggleButton.textShiftOffset", new Integer(0),
932        "ToolBar.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "ToolBar.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
# Line 884  public abstract class BasicLookAndFeel e Line 939  public abstract class BasicLookAndFeel e
939          "RIGHT", "navigateRight",          "RIGHT", "navigateRight",
940          "KP_RIGHT", "navigateRight"          "KP_RIGHT", "navigateRight"
941        }),        }),
942        "ToolBar.background", new ColorUIResource(Color.lightGray),        "ToolBar.background", new ColorUIResource(light),
943        "ToolBar.border", new BorderUIResource.EtchedBorderUIResource(),        "ToolBar.border", new BorderUIResource.EtchedBorderUIResource(),
944        "ToolBar.dockingBackground", new ColorUIResource(Color.lightGray),        "ToolBar.darkShadow", new ColorUIResource(shadow),
945        "ToolBar.dockingForeground", new ColorUIResource(11, 30, 143),        "ToolBar.dockingBackground", new ColorUIResource(light),
946        "ToolBar.floatingBackground", new ColorUIResource(Color.lightGray),        "ToolBar.dockingForeground", new ColorUIResource(Color.red),
947        "ToolBar.floatingForeground", new ColorUIResource(113, 171, 212),        "ToolBar.floatingBackground", new ColorUIResource(light),
948          "ToolBar.floatingForeground", new ColorUIResource(Color.darkGray),
949        "ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),
950        "ToolBar.foreground", new ColorUIResource(Color.black),        "ToolBar.foreground", new ColorUIResource(darkShadow),
951          "ToolBar.highlight", new ColorUIResource(highLight),
952          "ToolBar.light", new ColorUIResource(highLight),
953        "ToolBar.separatorSize", new DimensionUIResource(20, 20),        "ToolBar.separatorSize", new DimensionUIResource(20, 20),
954        "ToolTip.background", new ColorUIResource(122, 178, 241),        "ToolBar.shadow", new ColorUIResource(shadow),
955          "ToolTip.background", new ColorUIResource(light),
956        "ToolTip.border", new BorderUIResource.LineBorderUIResource(Color.lightGray),        "ToolTip.border", new BorderUIResource.LineBorderUIResource(Color.lightGray),
957        "ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12),        "ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
958        "ToolTip.foreground", new ColorUIResource(Color.black),        "ToolTip.foreground", new ColorUIResource(darkShadow),
959        "Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
960          "ESCAPE", "cancel"          "ESCAPE", "cancel"
961        }),        }),
962        "Tree.background", new ColorUIResource(Color.white),        "Tree.background", new ColorUIResource(light),
963        "Tree.changeSelectionWithFocus", Boolean.TRUE,        "Tree.changeSelectionWithFocus", Boolean.TRUE,
964        "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")),        "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")),
965        "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")),        "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")),
# Line 960  public abstract class BasicLookAndFeel e Line 1019  public abstract class BasicLookAndFeel e
1019        "Tree.rightChildIndent", new Integer(13),        "Tree.rightChildIndent", new Integer(13),
1020        "Tree.rowHeight", new Integer(16),        "Tree.rowHeight", new Integer(16),
1021        "Tree.scrollsOnExpand", Boolean.TRUE,        "Tree.scrollsOnExpand", Boolean.TRUE,
1022        "Tree.selectionBackground", new ColorUIResource(lightPurple),        "Tree.selectionBackground", new ColorUIResource(Color.black),
1023        "Tree.selectionBorderColor", new ColorUIResource(Color.black),        "Tree.selectionBorderColor", new ColorUIResource(Color.black),
1024        "Tree.selectionForeground", new ColorUIResource(Color.black),        "Tree.selectionForeground", new ColorUIResource(Color.white),
1025        "Tree.textBackground", new ColorUIResource(Color.lightGray),        "Tree.textBackground", new ColorUIResource(Color.white),
1026        "Tree.textForeground", new ColorUIResource(Color.black),        "Tree.textForeground", new ColorUIResource(Color.black),
1027        "Viewport.background", new ColorUIResource(Color.lightGray),        "Viewport.background", new ColorUIResource(light),
1028        "Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12),        "Viewport.foreground", new ColorUIResource(Color.black),
1029          "Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12)
1030      };      };
1031      defaults.putDefaults(uiDefaults);      defaults.putDefaults(uiDefaults);
1032    }    }

Legend:
Removed from v.1.13.2.5  
changed lines
  Added in v.1.13.2.6

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26