1541 |
tabPane.setFont(defaults.getFont("TabbedPane.font")); |
tabPane.setFont(defaults.getFont("TabbedPane.font")); |
1542 |
tabPane.setForeground(defaults.getColor("TabbedPane.foreground")); |
tabPane.setForeground(defaults.getColor("TabbedPane.foreground")); |
1543 |
tabPane.setBackground(defaults.getColor("TabbedPane.background")); |
tabPane.setBackground(defaults.getColor("TabbedPane.background")); |
1544 |
tabPane.setOpaque(true); |
tabPane.setOpaque(false); |
1545 |
|
|
1546 |
highlight = defaults.getColor("TabbedPane.highlight"); |
highlight = defaults.getColor("TabbedPane.highlight"); |
1547 |
lightHighlight = defaults.getColor("TabbedPane.lightHighlight"); |
lightHighlight = defaults.getColor("TabbedPane.lightHighlight"); |