911 |
}, |
}, |
912 |
"TextPane.margin", new InsetsUIResource(3, 3, 3, 3), |
"TextPane.margin", new InsetsUIResource(3, 3, 3, 3), |
913 |
"TextPane.selectionBackground", new ColorUIResource(Color.black), |
"TextPane.selectionBackground", new ColorUIResource(Color.black), |
914 |
"TextPane.selectionForeground", new ColorUIResource(Color.white)/*, |
"TextPane.selectionForeground", new ColorUIResource(Color.white), |
915 |
"TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(), |
"TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(), |
916 |
"TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
917 |
"TitledBorder.titleColor", new ColorUIResource(darkShadow), |
"TitledBorder.titleColor", new ColorUIResource(darkShadow), |
1028 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(Color.black), |
1029 |
"Viewport.background", new ColorUIResource(light), |
"Viewport.background", new ColorUIResource(light), |
1030 |
"Viewport.foreground", new ColorUIResource(Color.black), |
"Viewport.foreground", new ColorUIResource(Color.black), |
1031 |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12)*/ |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |
1032 |
}; |
}; |
1033 |
defaults.putDefaults(uiDefaults); |
defaults.putDefaults(uiDefaults); |
1034 |
} |
} |