305 |
"CheckBox.margin",new InsetsUIResource(2, 2, 2, 2), |
"CheckBox.margin",new InsetsUIResource(2, 2, 2, 2), |
306 |
"CheckBox.textIconGap", new Integer(4), |
"CheckBox.textIconGap", new Integer(4), |
307 |
"CheckBox.textShiftOffset", new Integer(0), |
"CheckBox.textShiftOffset", new Integer(0), |
|
"CheckBoxMenuItem.icon", |
|
|
new UIDefaults.LazyValue() |
|
|
{ |
|
|
public Object createValue(UIDefaults def) |
|
|
{ |
|
|
return BasicIconFactory.getCheckBoxIcon(); |
|
|
} |
|
|
}, |
|
308 |
"CheckBoxMenuItem.acceleratorFont", new FontUIResource("Dialog", |
"CheckBoxMenuItem.acceleratorFont", new FontUIResource("Dialog", |
309 |
Font.PLAIN, 12), |
Font.PLAIN, 12), |
310 |
"CheckBoxMenuItem.acceleratorForeground", |
"CheckBoxMenuItem.acceleratorForeground", |
320 |
{ |
{ |
321 |
public Object createValue(UIDefaults def) |
public Object createValue(UIDefaults def) |
322 |
{ |
{ |
323 |
return BasicIconFactory.getMenuItemCheckIcon(); |
return BasicIconFactory.getCheckBoxMenuItemIcon(); |
324 |
} |
} |
325 |
}, |
}, |
326 |
"CheckBoxMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"CheckBoxMenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
394 |
"ctrl F10", "maximize", |
"ctrl F10", "maximize", |
395 |
"ctrl alt shift F6","selectPreviousFrame" |
"ctrl alt shift F6","selectPreviousFrame" |
396 |
}), |
}), |
|
"Desktop.background", new ColorUIResource(0, 92, 92), |
|
397 |
"DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null, |
"DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null, |
398 |
null), |
null), |
399 |
"EditorPane.background", new ColorUIResource(Color.white), |
"EditorPane.background", new ColorUIResource(Color.white), |
517 |
new ColorUIResource(Color.lightGray), |
new ColorUIResource(Color.lightGray), |
518 |
"InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.maximizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
519 |
"InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.minimizeIcon", BasicIconFactory.createEmptyFrameIcon(), |
520 |
"InternalFrame.titleFont", new FontUIResource("Dialog", Font.PLAIN, 12), |
"InternalFrame.titleFont", new FontUIResource("Dialog", Font.BOLD, 12), |
521 |
"InternalFrame.windowBindings", new Object[] { |
"InternalFrame.windowBindings", new Object[] { |
522 |
"shift ESCAPE", "showSystemMenu", |
"shift ESCAPE", "showSystemMenu", |
523 |
"ctrl SPACE", "showSystemMenu", |
"ctrl SPACE", "showSystemMenu", |
645 |
null, null), |
null, null), |
646 |
"PasswordField.caretBlinkRate", new Integer(500), |
"PasswordField.caretBlinkRate", new Integer(500), |
647 |
"PasswordField.caretForeground", new ColorUIResource(Color.black), |
"PasswordField.caretForeground", new ColorUIResource(Color.black), |
648 |
"PasswordField.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12), |
"PasswordField.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
649 |
"PasswordField.foreground", new ColorUIResource(Color.black), |
"PasswordField.foreground", new ColorUIResource(Color.black), |
650 |
"PasswordField.inactiveBackground", new ColorUIResource(light), |
"PasswordField.inactiveBackground", new ColorUIResource(light), |
651 |
"PasswordField.inactiveForeground", new ColorUIResource(Color.gray), |
"PasswordField.inactiveForeground", new ColorUIResource(Color.gray), |
878 |
"shift KP_LEFT", "selectPreviousColumnExtendSelection", |
"shift KP_LEFT", "selectPreviousColumnExtendSelection", |
879 |
"ESCAPE", "cancel", |
"ESCAPE", "cancel", |
880 |
"ctrl shift PAGE_UP", "scrollLeftExtendSelection", |
"ctrl shift PAGE_UP", "scrollLeftExtendSelection", |
881 |
"shift KP_RIGHT", " selectNextColumnExtendSelection", |
"shift KP_RIGHT", "selectNextColumnExtendSelection", |
882 |
"ctrl PAGE_UP", "scrollLeftChangeSelection", |
"ctrl PAGE_UP", "scrollLeftChangeSelection", |
883 |
"shift PAGE_UP", "scrollUpExtendSelection", |
"shift PAGE_UP", "scrollUpExtendSelection", |
884 |
"ctrl shift PAGE_DOWN", "scrollRightExtendSelection", |
"ctrl shift PAGE_DOWN", "scrollRightExtendSelection", |
1050 |
"shift END", "selectLastExtendSelection", |
"shift END", "selectLastExtendSelection", |
1051 |
"HOME", "selectFirst", |
"HOME", "selectFirst", |
1052 |
"ctrl END", "selectLastChangeLead", |
"ctrl END", "selectLastChangeLead", |
1053 |
"ctrl /", "selectAll", |
"ctrl SLASH", "selectAll", |
1054 |
"LEFT", "selectParent", |
"LEFT", "selectParent", |
1055 |
"shift HOME", "selectFirstExtendSelection", |
"shift HOME", "selectFirstExtendSelection", |
1056 |
"UP", "selectPrevious", |
"UP", "selectPrevious", |
1077 |
"shift KP_DOWN","selectNextExtendSelection", |
"shift KP_DOWN","selectNextExtendSelection", |
1078 |
"ctrl SPACE", "toggleSelectionPreserveAnchor", |
"ctrl SPACE", "toggleSelectionPreserveAnchor", |
1079 |
"ctrl shift PAGE_UP", "scrollUpExtendSelection", |
"ctrl shift PAGE_UP", "scrollUpExtendSelection", |
1080 |
"ctrl \\", "clearSelection", |
"ctrl BACK_SLASH", "clearSelection", |
1081 |
"shift SPACE", "extendSelection", |
"shift SPACE", "extendSelection", |
1082 |
"ctrl PAGE_UP", "scrollUpChangeLead", |
"ctrl PAGE_UP", "scrollUpChangeLead", |
1083 |
"shift PAGE_UP","scrollUpExtendSelection", |
"shift PAGE_UP","scrollUpExtendSelection", |
1096 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1097 |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(239, 235, 231)), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(239, 235, 231)), |
1098 |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
1099 |
|
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black), |
1100 |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
1101 |
"Tree.textBackground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.textBackground", new ColorUIResource(new Color(255, 255, 255)), |
1102 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(Color.black), |