238 |
{new Double(0.3), new Double(0.0), new ColorUIResource(221, 232, 243), |
{new Double(0.3), new Double(0.0), new ColorUIResource(221, 232, 243), |
239 |
new ColorUIResource(Color.WHITE), new ColorUIResource(184, 207, 229)})); |
new ColorUIResource(Color.WHITE), new ColorUIResource(184, 207, 229)})); |
240 |
|
|
241 |
|
|
242 |
defaults.put("Button.rollover", Boolean.TRUE); |
defaults.put("Button.rollover", Boolean.TRUE); |
243 |
|
|
244 |
|
defaults.put("TabbedPane.selected", new ColorUIResource(200, 221, 242)); |
245 |
|
defaults.put("TabbedPane.unselectedBackground", SECONDARY3); |
246 |
} |
} |
247 |
} |
} |