501 |
new ColorUIResource(getPrimaryControlDarkShadow()), |
new ColorUIResource(getPrimaryControlDarkShadow()), |
502 |
"ScrollBar.thumbHighlight", |
"ScrollBar.thumbHighlight", |
503 |
new ColorUIResource(getPrimaryControl()), |
new ColorUIResource(getPrimaryControl()), |
504 |
|
|
505 |
|
"SplitPane.darkShadow", |
506 |
|
new ColorUIResource(getControlDarkShadow()), |
507 |
|
"SplitPane.highlight", |
508 |
|
new ColorUIResource(getControlHighlight()), |
509 |
|
|
510 |
"PopupMenu.border", new MetalBorders.PopupMenuBorder() |
"PopupMenu.border", new MetalBorders.PopupMenuBorder() |
511 |
}; |
}; |
512 |
defaults.putDefaults(myDefaults); |
defaults.putDefaults(myDefaults); |