16 package net.squiz.matrix.plaf;
18 import net.squiz.matrix.core.*;
20 import javax.swing.border.*;
21 import javax.swing.plaf.metal.*;
22 import com.sun.java.swing.plaf.windows.*;
24 import javax.swing.plaf.*;
28 public static Color PANEL_COLOUR =
new Color(0xF5F5F5);
29 public static Color PANEL_BORDER_COLOUR =
new Color(0xC3C3C3);
31 protected void initClassDefaults(UIDefaults table) {
32 super.initClassDefaults(table);
33 String packageName =
"net.squiz.matrix.plaf.";
34 Object[] uiDefaults = {
35 "SplitPaneUI", packageName +
"MatrixSplitPaneUI",
38 table.putDefaults(uiDefaults);
41 protected void initComponentDefaults(UIDefaults table) {
42 super.initComponentDefaults(table);
45 "StatusBar.border",
new LineBorder(PANEL_BORDER_COLOUR),
46 "StatusBar.background", PANEL_COLOUR,
47 "SplitPane.border",
new LineBorder(PANEL_BORDER_COLOUR),
48 "SplitPaneDivider.buttonbackground", PANEL_COLOUR,
49 "SplitPaneDivider.buttonforeground", PANEL_BORDER_COLOUR,
50 "SplitPaneDivider.buttonbordercolor",
new Color(0x3B3B3B),
51 "SplitPaneDivider.border",
new LineBorder(PANEL_BORDER_COLOUR),
53 "SplitPane.background", PANEL_COLOUR,
54 "Tree.expandedIcon",
new WindowsTreeUI.ExpandedIcon(),
55 "Tree.collapsedIcon",
new WindowsTreeUI.CollapsedIcon(),
57 "ScrollBar.thumb", PANEL_COLOUR,
58 "ScrollBar.thumbShadow", PANEL_BORDER_COLOUR,
59 "ScrollBar.thumbHighlight", PANEL_COLOUR,
60 "ScrollBar.track", PANEL_COLOUR,
61 "ScrollBar.trackHighlightColor", PANEL_COLOUR,
62 "ScrollBar.background", PANEL_COLOUR,
64 "ScrollBar.darkShadow", PANEL_BORDER_COLOUR,
66 "TabbedPane.tabAreaBackground", Color.RED,
67 "TabbedPane.selected", PANEL_COLOUR,
69 "TabbedPane.selectHighlight", PANEL_BORDER_COLOUR,
70 "TabbedPane.background", PANEL_BORDER_COLOUR,
72 "TabbedPane.foreground", Color.BLACK,
73 "TabbedPane.light", PANEL_BORDER_COLOUR.brighter(),
74 "TabbedPane.highlight", PANEL_BORDER_COLOUR.brighter().brighter(),
75 "TabbedPane.shadow", PANEL_BORDER_COLOUR.darker(),
76 "TabbedPane.darkShadow", PANEL_BORDER_COLOUR.darker().darker(),
77 "TabbedPane.font", PLAIN_FONT_10,
79 "VerticalTextIcon.font", PLAIN_FONT_10,
83 "MenuItem.background", PANEL_COLOUR,
84 "Menu.background", PANEL_COLOUR,
87 "PopupMenu.border",
new LineBorder(PANEL_BORDER_COLOUR),
88 "MenuItem.selectionBackground", PANEL_BORDER_COLOUR,
89 "Menu.selectionBackground", PANEL_BORDER_COLOUR,
91 "SelectionTool.background", PANEL_BORDER_COLOUR,
92 "SelectionTool.bordercolor", PANEL_BORDER_COLOUR,
94 "InspectorNavigator.background", PANEL_COLOUR,
96 "MenuItem.font", PLAIN_FONT_10,
97 "Menu.font", PLAIN_FONT_10,
99 "CueLine.stroke", Color.BLACK,
102 table.putDefaults(defaults);
105 protected void initSystemColorDefaults(UIDefaults table) {
106 super.initSystemColorDefaults(table);
108 Object[] systemColors = {
109 "scrollbar", PANEL_BORDER_COLOUR,
112 for (
int i = 0; i < systemColors.length; i += 2) {
113 table.put((String) systemColors[i], systemColors[i + 1]);