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 |
|
|
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 |
} |
} |
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", |
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:", |
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", |
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), |
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[] { |
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), |
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", |
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", |
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", |
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", |
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", |
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", |
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", |
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), |
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), |
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), |
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), |
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[] { |
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")), |
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 |
} |
} |