250 |
"Button.foreground", new ColorUIResource(Color.black), |
"Button.foreground", new ColorUIResource(Color.black), |
251 |
"Button.highlight", new ColorUIResource(Color.white), |
"Button.highlight", new ColorUIResource(Color.white), |
252 |
"Button.light", new ColorUIResource(Color.lightGray.brighter()), |
"Button.light", new ColorUIResource(Color.lightGray.brighter()), |
253 |
"Button.margin", new InsetsUIResource(2, 2, 2, 2), |
"Button.margin", new InsetsUIResource(2, 14, 2, 14), |
254 |
"Button.shadow", new ColorUIResource(Color.gray), |
"Button.shadow", new ColorUIResource(Color.gray), |
255 |
"Button.textIconGap", new Integer(4), |
"Button.textIconGap", new Integer(4), |
256 |
"Button.textShiftOffset", new Integer(0), |
"Button.textShiftOffset", new Integer(0), |
493 |
"ENTER", "return", |
"ENTER", "return", |
494 |
"SPACE", "return" |
"SPACE", "return" |
495 |
}, |
}, |
496 |
"Menutext.selectionBackground", new ColorUIResource(lightPurple), |
"Menu.selectionBackground", new ColorUIResource(lightPurple), |
497 |
"Menu.selectionForeground", new ColorUIResource(Color.black), |
"Menu.selectionForeground", new ColorUIResource(Color.black), |
498 |
"MenuBar.background", new ColorUIResource(Color.lightGray), |
"MenuBar.background", new ColorUIResource(Color.lightGray), |
499 |
"MenuBar.border", new BasicBorders.MenuBarBorder(null, null), |
"MenuBar.border", new BasicBorders.MenuBarBorder(null, null), |
875 |
"ToolBar.background", new ColorUIResource(Color.lightGray), |
"ToolBar.background", new ColorUIResource(Color.lightGray), |
876 |
"ToolBar.border", new BorderUIResource.EtchedBorderUIResource(), |
"ToolBar.border", new BorderUIResource.EtchedBorderUIResource(), |
877 |
"ToolBar.dockingBackground", new ColorUIResource(Color.lightGray), |
"ToolBar.dockingBackground", new ColorUIResource(Color.lightGray), |
878 |
"ToolBar.dockingForeground", new ColorUIResource(Color.red), |
"ToolBar.dockingForeground", new ColorUIResource(11, 30, 143), |
879 |
"ToolBar.floatingBackground", new ColorUIResource(Color.lightGray), |
"ToolBar.floatingBackground", new ColorUIResource(Color.lightGray), |
880 |
"ToolBar.floatingForeground", new ColorUIResource(Color.darkGray), |
"ToolBar.floatingForeground", new ColorUIResource(113, 171, 212), |
881 |
"ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
882 |
"ToolBar.foreground", new ColorUIResource(Color.black), |
"ToolBar.foreground", new ColorUIResource(Color.black), |
883 |
"ToolBar.separatorSize", new DimensionUIResource(10, 10), |
"ToolBar.separatorSize", new DimensionUIResource(20, 20), |
884 |
"ToolTip.background", new ColorUIResource(Color.white), |
"ToolTip.background", new ColorUIResource(Color.white), |
885 |
"ToolTip.border", new BorderUIResource.LineBorderUIResource(Color.lightGray), |
"ToolTip.border", new BorderUIResource.LineBorderUIResource(Color.lightGray), |
886 |
"ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12), |
"ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12), |