707 |
"PopupMenu.border", new BorderUIResource.BevelBorderUIResource(0), |
"PopupMenu.border", new BorderUIResource.BevelBorderUIResource(0), |
708 |
"PopupMenu.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"PopupMenu.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
709 |
"PopupMenu.foreground", new ColorUIResource(darkShadow), |
"PopupMenu.foreground", new ColorUIResource(darkShadow), |
710 |
"ProgressBar.background", new ColorUIResource(light), |
"ProgressBar.background", new ColorUIResource(Color.LIGHT_GRAY), |
711 |
"ProgressBar.border", new BorderUIResource.LineBorderUIResource(Color.darkGray), |
"ProgressBar.border", |
712 |
|
new BorderUIResource.LineBorderUIResource(Color.GREEN, 2), |
713 |
"ProgressBar.cellLength", new Integer(1), |
"ProgressBar.cellLength", new Integer(1), |
714 |
"ProgressBar.cellSpacing", new Integer(0), |
"ProgressBar.cellSpacing", new Integer(0), |
715 |
"ProgressBar.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"ProgressBar.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
716 |
"ProgressBar.foreground", new ColorUIResource(Color.black), |
"ProgressBar.foreground", new ColorUIResource(0, 0, 128), |
717 |
"ProgressBar.selectionBackground", new ColorUIResource(Color.black), |
"ProgressBar.selectionBackground", new ColorUIResource(0, 0, 128), |
718 |
"ProgressBar.selectionForeground", new ColorUIResource(light), |
"ProgressBar.selectionForeground", new ColorUIResource(Color.LIGHT_GRAY), |
719 |
"ProgressBar.repaintInterval", new Integer(250), |
"ProgressBar.repaintInterval", new Integer(50), |
720 |
"ProgressBar.cycleTime", new Integer(6000), |
"ProgressBar.cycleTime", new Integer(3000), |
721 |
"RadioButton.background", new ColorUIResource(light), |
"RadioButton.background", new ColorUIResource(light), |
722 |
"RadioButton.border", new BorderUIResource.CompoundBorderUIResource(null, |
"RadioButton.border", new BorderUIResource.CompoundBorderUIResource(null, |
723 |
null), |
null), |
1159 |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
1160 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1161 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1162 |
"Tree.rowHeight", new Integer(16), |
"Tree.rowHeight", new Integer(0), |
1163 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1164 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1165 |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |