397 |
"DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null, |
"DesktopIcon.border", new BorderUIResource.CompoundBorderUIResource(null, |
398 |
null), |
null), |
399 |
"EditorPane.background", new ColorUIResource(Color.white), |
"EditorPane.background", new ColorUIResource(Color.white), |
400 |
"EditorPane.border", new BasicBorders.MarginBorder(), |
"EditorPane.border", |
401 |
|
new BorderUIResource(BasicBorders.getMarginBorder()), |
402 |
"EditorPane.caretBlinkRate", new Integer(500), |
"EditorPane.caretBlinkRate", new Integer(500), |
403 |
"EditorPane.caretForeground", new ColorUIResource(Color.black), |
"EditorPane.caretForeground", new ColorUIResource(Color.black), |
404 |
"EditorPane.font", new FontUIResource("Serif", Font.PLAIN, 12), |
"EditorPane.font", new FontUIResource("Serif", Font.PLAIN, 12), |
916 |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
917 |
|
|
918 |
"TextArea.background", new ColorUIResource(light), |
"TextArea.background", new ColorUIResource(light), |
919 |
"TextArea.border", new BasicBorders.MarginBorder(), |
"TextArea.border", |
920 |
|
new BorderUIResource(BasicBorders.getMarginBorder()), |
921 |
"TextArea.caretBlinkRate", new Integer(500), |
"TextArea.caretBlinkRate", new Integer(500), |
922 |
"TextArea.caretForeground", new ColorUIResource(Color.black), |
"TextArea.caretForeground", new ColorUIResource(Color.black), |
923 |
"TextArea.font", new FontUIResource("Monospaced", Font.PLAIN, 12), |
"TextArea.font", new FontUIResource("Monospaced", Font.PLAIN, 12), |
967 |
"TextField.selectionBackground", new ColorUIResource(Color.black), |
"TextField.selectionBackground", new ColorUIResource(Color.black), |
968 |
"TextField.selectionForeground", new ColorUIResource(Color.white), |
"TextField.selectionForeground", new ColorUIResource(Color.white), |
969 |
"TextPane.background", new ColorUIResource(Color.white), |
"TextPane.background", new ColorUIResource(Color.white), |
970 |
"TextPane.border", new BasicBorders.MarginBorder(), |
"TextPane.border", |
971 |
|
new BorderUIResource(BasicBorders.getMarginBorder()), |
972 |
"TextPane.caretBlinkRate", new Integer(500), |
"TextPane.caretBlinkRate", new Integer(500), |
973 |
"TextPane.caretForeground", new ColorUIResource(Color.black), |
"TextPane.caretForeground", new ColorUIResource(Color.black), |
974 |
"TextPane.font", new FontUIResource("Serif", Font.PLAIN, 12), |
"TextPane.font", new FontUIResource("Serif", Font.PLAIN, 12), |