Parent Directory | Revision Log | Patch
revision 1.12 by rabbit78, Fri Nov 18 22:04:23 2005 UTC | revision 1.13 by rabbit78, Fri Nov 18 23:05:35 2005 UTC | |
---|---|---|
# | Line 319 public class MetalTabbedPaneUI extends B | Line 319 public class MetalTabbedPaneUI extends B |
319 | int tabIndex, int x, int y, int w, int h, boolean isSelected) | int tabIndex, int x, int y, int w, int h, boolean isSelected) |
320 | { | { |
321 | if (isSelected) | if (isSelected) |
322 | g.setColor(MetalLookAndFeel.getControl()); | g.setColor(UIManager.getColor("TabbedPane.selected")); |
323 | else | else |
324 | g.setColor(MetalLookAndFeel.getControlShadow()); | { |
325 | // This is only present in the OceanTheme, so we must check if it | |
326 | // is actually there | |
327 | Color background = UIManager.getColor("TabbedPane.unselectedBackground"); | |
328 | if (background == null) | |
329 | background = UIManager.getColor("TabbedPane.background"); | |
330 | g.setColor(background); | |
331 | } | |
332 | int[] px, py; | int[] px, py; |
333 | if (tabPlacement == TOP) | if (tabPlacement == TOP) |
334 | { | { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |