273 |
"Button.foreground", new ColorUIResource(Color.BLACK), |
"Button.foreground", new ColorUIResource(Color.BLACK), |
274 |
"Button.highlight", new ColorUIResource(Color.WHITE), |
"Button.highlight", new ColorUIResource(Color.WHITE), |
275 |
"Button.light", new ColorUIResource(Color.LIGHT_GRAY), |
"Button.light", new ColorUIResource(Color.LIGHT_GRAY), |
276 |
"Button.margin", new InsetsUIResource(2, 2, 2, 2), |
"Button.margin", new InsetsUIResource(2, 14, 2, 14), |
277 |
"Button.shadow", new ColorUIResource(Color.GRAY), |
"Button.shadow", new ColorUIResource(Color.GRAY), |
278 |
"Button.textIconGap", new Integer(4), |
"Button.textIconGap", new Integer(4), |
279 |
"Button.textShiftOffset", new Integer(0), |
"Button.textShiftOffset", new Integer(0), |
364 |
}), |
}), |
365 |
"ComboBox.background", new ColorUIResource(Color.white), |
"ComboBox.background", new ColorUIResource(Color.white), |
366 |
"ComboBox.buttonBackground", new ColorUIResource(light), |
"ComboBox.buttonBackground", new ColorUIResource(light), |
367 |
"ComboBox.buttonDarkShadow", new ColorUIResource(shadow), |
"ComboBox.buttonDarkShadow", new ColorUIResource(darkShadow), |
368 |
"ComboBox.buttonHighlight", new ColorUIResource(highLight), |
"ComboBox.buttonHighlight", new ColorUIResource(highLight), |
369 |
"ComboBox.buttonShadow", new ColorUIResource(shadow), |
"ComboBox.buttonShadow", new ColorUIResource(shadow), |
370 |
"ComboBox.disabledBackground", new ColorUIResource(light), |
"ComboBox.disabledBackground", new ColorUIResource(light), |
467 |
"FocusManagerClassName", "TODO", |
"FocusManagerClassName", "TODO", |
468 |
"FormattedTextField.background", new ColorUIResource(light), |
"FormattedTextField.background", new ColorUIResource(light), |
469 |
"FormattedTextField.caretForeground", new ColorUIResource(Color.black), |
"FormattedTextField.caretForeground", new ColorUIResource(Color.black), |
470 |
|
"FormattedTextField.font", |
471 |
|
new FontUIResource("SansSerif", Font.PLAIN, 12), |
472 |
"FormattedTextField.foreground", new ColorUIResource(Color.black), |
"FormattedTextField.foreground", new ColorUIResource(Color.black), |
473 |
"FormattedTextField.inactiveBackground", new ColorUIResource(light), |
"FormattedTextField.inactiveBackground", new ColorUIResource(light), |
474 |
"FormattedTextField.inactiveForeground", new ColorUIResource(Color.gray), |
"FormattedTextField.inactiveForeground", new ColorUIResource(Color.gray), |
534 |
"List.background", new ColorUIResource(Color.white), |
"List.background", new ColorUIResource(Color.white), |
535 |
"List.border", new BasicBorders.MarginBorder(), |
"List.border", new BasicBorders.MarginBorder(), |
536 |
"List.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"List.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
537 |
"PAGE_UP", "scrollUp", |
"ctrl DOWN", "selectNextRowChangeLead", |
538 |
"ctrl \\", "clearSelection", |
"shift UP", "selectPreviousRowExtendSelection", |
539 |
"PAGE_DOWN", "scrollDown", |
"ctrl RIGHT", "selectNextColumnChangeLead", |
540 |
"shift PAGE_DOWN","scrollDownExtendSelection", |
"shift ctrl LEFT", "selectPreviousColumnExtendSelection", |
541 |
|
"shift KP_UP", "selectPreviousRowChangeLead", |
542 |
|
"DOWN", "selectNextRow", |
543 |
|
"ctrl UP", "selectPreviousRowChangeLead", |
544 |
|
"ctrl LEFT", "selectPreviousColumnChangeLead", |
545 |
|
"CUT", "cut", |
546 |
"END", "selectLastRow", |
"END", "selectLastRow", |
547 |
"HOME", "selectFirstRow", |
"shift PAGE_UP","scrollUpExtendSelection", |
548 |
"shift END", "selectLastRowExtendSelection", |
"KP_UP", "selectPreviousRow", |
549 |
|
"shift ctrl UP", "selectPreviousRowExtendSelection", |
550 |
|
"ctrl HOME", "selectFirstRowChangeLead", |
551 |
|
"shift LEFT", "selectPreviousColumnExtendSelection", |
552 |
|
"ctrl END", "selectLastRowChangeLead", |
553 |
|
"ctrl PAGE_DOWN", "scrollDownChangeLead", |
554 |
|
"shift ctrl RIGHT", "selectNextColumnExtendSelection", |
555 |
|
"LEFT", "selectPreviousColumn", |
556 |
|
"ctrl PAGE_UP", "scrollUpChangeLead", |
557 |
|
"KP_LEFT", "selectPreviousColumn", |
558 |
|
"shift KP_RIGHT", "selectNextColumnExtendSelection", |
559 |
|
"SPACE", "addToSelection", |
560 |
|
"ctrl SPACE", "toggleAndAnchor", |
561 |
|
"shift SPACE", "extendTo", |
562 |
|
"shift ctrl SPACE", "moveSelectionTo", |
563 |
|
"shift ctrl DOWN", "selectNextRowExtendSelection", |
564 |
|
"ctrl BACK_SLASH", "clearSelection", |
565 |
"shift HOME", "selectFirstRowExtendSelection", |
"shift HOME", "selectFirstRowExtendSelection", |
566 |
"UP", "selectPreviousRow", |
"RIGHT", "selectNextColumn", |
567 |
"ctrl /", "selectAll", |
"shift ctrl PAGE_UP", "scrollUpExtendSelection", |
|
"ctrl A", "selectAll", |
|
|
"DOWN", "selectNextRow", |
|
|
"shift UP", "selectPreviousRowExtendSelection", |
|
|
"ctrl SPACE", "selectNextRowExtendSelection", |
|
568 |
"shift DOWN", "selectNextRowExtendSelection", |
"shift DOWN", "selectNextRowExtendSelection", |
569 |
"KP_UP", "selectPreviousRow", |
"PAGE_DOWN", "scrollDown", |
570 |
"shift PAGE_UP","scrollUpExtendSelection", |
"shift ctrl KP_UP", "selectPreviousRowExtendSelection", |
571 |
"KP_DOWN", "selectNextRow" |
"shift KP_LEFT", "selectPreviousColumnExtendSelection", |
572 |
|
"ctrl X", "cut", |
573 |
|
"shift ctrl PAGE_DOWN", "scrollDownExtendSelection", |
574 |
|
"ctrl SLASH", "selectAll", |
575 |
|
"ctrl C", "copy", |
576 |
|
"ctrl KP_RIGHT", "selectNextColumnChangeLead", |
577 |
|
"shift END", "selectLastRowExtendSelection", |
578 |
|
"shift ctrl KP_DOWN", "selectNextRowExtendSelection", |
579 |
|
"ctrl KP_LEFT", "selectPreviousColumnChangeLead", |
580 |
|
"HOME", "selectFirstRow", |
581 |
|
"ctrl V", "paste", |
582 |
|
"KP_DOWN", "selectNextRow", |
583 |
|
"ctrl KP_DOWN", "selectNextRowChangeLead", |
584 |
|
"shift RIGHT", "selectNextColumnExtendSelection", |
585 |
|
"ctrl A", "selectAll", |
586 |
|
"shift ctrl END", "selectLastRowExtendSelection", |
587 |
|
"COPY", "copy", |
588 |
|
"ctrl KP_UP", "selectPreviousRowChangeLead", |
589 |
|
"shift ctrl KP_LEFT", "selectPreviousColumnExtendSelection", |
590 |
|
"shift KP_DOWN", "selectNextRowExtendSelection", |
591 |
|
"UP", "selectPreviousRow", |
592 |
|
"shift ctrl HOME", "selectFirstRowExtendSelection", |
593 |
|
"shift PAGE_DOWN", "scrollDownExtendSelection", |
594 |
|
"KP_RIGHT", "selectNextColumn", |
595 |
|
"shift ctrl KP_RIGHT", "selectNextColumnExtendSelection", |
596 |
|
"PAGE_UP", "scrollUp", |
597 |
|
"PASTE", "paste" |
598 |
}), |
}), |
599 |
|
"List.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
600 |
"List.foreground", new ColorUIResource(Color.black), |
"List.foreground", new ColorUIResource(Color.black), |
601 |
"List.selectionBackground", new ColorUIResource(0, 0, 128), |
"List.selectionBackground", new ColorUIResource(0, 0, 128), |
602 |
"List.selectionForeground", new ColorUIResource(Color.white), |
"List.selectionForeground", new ColorUIResource(Color.white), |
648 |
"MenuItem.background", new ColorUIResource(light), |
"MenuItem.background", new ColorUIResource(light), |
649 |
"MenuItem.border", new BasicBorders.MarginBorder(), |
"MenuItem.border", new BasicBorders.MarginBorder(), |
650 |
"MenuItem.borderPainted", Boolean.FALSE, |
"MenuItem.borderPainted", Boolean.FALSE, |
|
"MenuItem.checkIcon", BasicIconFactory.getMenuItemCheckIcon(), |
|
651 |
"MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
652 |
"MenuItem.foreground", new ColorUIResource(darkShadow), |
"MenuItem.foreground", new ColorUIResource(darkShadow), |
653 |
"MenuItem.margin", new InsetsUIResource(2, 2, 2, 2), |
"MenuItem.margin", new InsetsUIResource(2, 2, 2, 2), |
670 |
"OptionPane.messageAreaBorder", |
"OptionPane.messageAreaBorder", |
671 |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
672 |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
673 |
"OptionPane.minimumSize", new DimensionUIResource(262, 90), |
"OptionPane.minimumSize", |
674 |
|
new DimensionUIResource(BasicOptionPaneUI.MinimumWidth, |
675 |
|
BasicOptionPaneUI.MinimumHeight), |
676 |
"OptionPane.noButtonText", "No", |
"OptionPane.noButtonText", "No", |
677 |
"OptionPane.okButtonText", "OK", |
"OptionPane.okButtonText", "OK", |
678 |
// XXX Don't use gif |
// XXX Don't use gif |
895 |
"TabbedPane.tabRunOverlay", new Integer(2), |
"TabbedPane.tabRunOverlay", new Integer(2), |
896 |
"TabbedPane.textIconGap", new Integer(4), |
"TabbedPane.textIconGap", new Integer(4), |
897 |
"Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
898 |
|
"ctrl DOWN", "selectNextRowChangeLead", |
899 |
|
"ctrl RIGHT", "selectNextColumnChangeLead", |
900 |
|
"ctrl UP", "selectPreviousRowChangeLead", |
901 |
|
"ctrl LEFT", "selectPreviousColumnChangeLead", |
902 |
|
"CUT", "cut", |
903 |
|
"SPACE", "addToSelection", |
904 |
|
"ctrl SPACE", "toggleAndAnchor", |
905 |
|
"shift SPACE", "extendTo", |
906 |
|
"shift ctrl SPACE", "moveSelectionTo", |
907 |
|
"ctrl X", "cut", |
908 |
|
"ctrl C", "copy", |
909 |
|
"ctrl KP_RIGHT", "selectNextColumnChangeLead", |
910 |
|
"ctrl KP_LEFT", "selectPreviousColumnChangeLead", |
911 |
|
"ctrl V", "paste", |
912 |
|
"ctrl KP_DOWN", "selectNextRowChangeLead", |
913 |
|
"COPY", "copy", |
914 |
|
"ctrl KP_UP", "selectPreviousRowChangeLead", |
915 |
|
"PASTE", "paste", |
916 |
"shift PAGE_DOWN","scrollDownExtendSelection", |
"shift PAGE_DOWN","scrollDownExtendSelection", |
917 |
"PAGE_DOWN", "scrollDownChangeSelection", |
"PAGE_DOWN", "scrollDownChangeSelection", |
918 |
"END", "selectLastColumn", |
"END", "selectLastColumn", |
963 |
"ctrl SLASH", "selectAll", |
"ctrl SLASH", "selectAll", |
964 |
"ctrl shift KP_DOWN", "selectNextRowExtendSelection", |
"ctrl shift KP_DOWN", "selectNextRowExtendSelection", |
965 |
}), |
}), |
966 |
"Table.background", new ColorUIResource(light), |
"Table.background", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
967 |
"Table.focusCellBackground", new ColorUIResource(light), |
"Table.focusCellBackground", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
968 |
"Table.focusCellForeground", new ColorUIResource(darkShadow), |
"Table.focusCellForeground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
969 |
"Table.focusCellHighlightBorder", |
"Table.focusCellHighlightBorder", |
970 |
new BorderUIResource.LineBorderUIResource( |
new BorderUIResource.LineBorderUIResource( |
971 |
new ColorUIResource(255, 255, 0)), |
new ColorUIResource(255, 255, 0)), |
972 |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
973 |
"Table.foreground", new ColorUIResource(darkShadow), |
"Table.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
974 |
"Table.gridColor", new ColorUIResource(Color.gray), |
"Table.gridColor", new ColorUIResource(new ColorUIResource(128, 128, 128)), |
975 |
"Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0), |
"Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0), |
976 |
"Table.selectionBackground", new ColorUIResource(Color.black), |
"Table.selectionBackground", new ColorUIResource(new ColorUIResource(0, 0, 128)), |
977 |
"Table.selectionForeground", new ColorUIResource(Color.white), |
"Table.selectionForeground", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
978 |
"TableHeader.background", new ColorUIResource(light), |
"TableHeader.background", new ColorUIResource(new ColorUIResource(192, 192, 192)), |
979 |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
980 |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
981 |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
"TableHeader.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
982 |
|
|
983 |
"TextArea.background", new ColorUIResource(light), |
"TextArea.background", new ColorUIResource(light), |
984 |
"TextArea.border", |
"TextArea.border", |
1105 |
"Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
1106 |
"ESCAPE", "cancel" |
"ESCAPE", "cancel" |
1107 |
}), |
}), |
1108 |
"Tree.background", new ColorUIResource(light), |
"Tree.background", new ColorUIResource(new Color(255, 255, 255)), |
1109 |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
1110 |
// "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
// "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
1111 |
// "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
// "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
1155 |
"PAGE_UP", "scrollUpChangeSelection", |
"PAGE_UP", "scrollUpChangeSelection", |
1156 |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
1157 |
}), |
}), |
1158 |
"Tree.font", new FontUIResource(new Font("Helvetica", Font.PLAIN, 12)), |
"Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
1159 |
"Tree.foreground", new ColorUIResource(Color.black), |
"Tree.foreground", new ColorUIResource(Color.black), |
1160 |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
1161 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1162 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1163 |
"Tree.rowHeight", new Integer(20), // FIXME |
"Tree.rowHeight", new Integer(16), |
1164 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1165 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1166 |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(239, 235, 231)), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |
1167 |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
1168 |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black), |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black), |
1169 |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
1170 |
"Tree.textBackground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.textBackground", new ColorUIResource(new Color(192, 192, 192)), |
1171 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(new Color(0, 0, 0)), |
1172 |
"Viewport.background", new ColorUIResource(light), |
"Viewport.background", new ColorUIResource(light), |
1173 |
"Viewport.foreground", new ColorUIResource(Color.black), |
"Viewport.foreground", new ColorUIResource(Color.black), |
1174 |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |