898 |
"ctrl SLASH", "selectAll", |
"ctrl SLASH", "selectAll", |
899 |
"ctrl shift KP_DOWN", "selectNextRowExtendSelection", |
"ctrl shift KP_DOWN", "selectNextRowExtendSelection", |
900 |
}), |
}), |
901 |
"Table.background", new ColorUIResource(light), |
"Table.background", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
902 |
"Table.focusCellBackground", new ColorUIResource(light), |
"Table.focusCellBackground", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
903 |
"Table.focusCellForeground", new ColorUIResource(darkShadow), |
"Table.focusCellForeground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
904 |
"Table.focusCellHighlightBorder", |
"Table.focusCellHighlightBorder", |
905 |
new BorderUIResource.LineBorderUIResource( |
new BorderUIResource.LineBorderUIResource( |
906 |
new ColorUIResource(255, 255, 0)), |
new ColorUIResource(255, 255, 0)), |
907 |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
908 |
"Table.foreground", new ColorUIResource(darkShadow), |
"Table.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
909 |
"Table.gridColor", new ColorUIResource(Color.gray), |
"Table.gridColor", new ColorUIResource(new ColorUIResource(128, 128, 128)), |
910 |
"Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0), |
"Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0), |
911 |
"Table.selectionBackground", new ColorUIResource(Color.black), |
"Table.selectionBackground", new ColorUIResource(new ColorUIResource(0, 0, 128)), |
912 |
"Table.selectionForeground", new ColorUIResource(Color.white), |
"Table.selectionForeground", new ColorUIResource(new ColorUIResource(255, 255, 255)), |
913 |
"TableHeader.background", new ColorUIResource(light), |
"TableHeader.background", new ColorUIResource(new ColorUIResource(192, 192, 192)), |
914 |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
915 |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
916 |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
"TableHeader.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)), |
917 |
|
|
918 |
"TextArea.background", new ColorUIResource(light), |
"TextArea.background", new ColorUIResource(light), |
919 |
"TextArea.border", |
"TextArea.border", |
1040 |
"Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
1041 |
"ESCAPE", "cancel" |
"ESCAPE", "cancel" |
1042 |
}), |
}), |
1043 |
"Tree.background", new ColorUIResource(light), |
"Tree.background", new ColorUIResource(new Color(255, 255, 255)), |
1044 |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
1045 |
// "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
// "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
1046 |
// "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
// "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
1090 |
"PAGE_UP", "scrollUpChangeSelection", |
"PAGE_UP", "scrollUpChangeSelection", |
1091 |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
1092 |
}), |
}), |
1093 |
"Tree.font", new FontUIResource(new Font("Helvetica", Font.PLAIN, 12)), |
"Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
1094 |
"Tree.foreground", new ColorUIResource(Color.black), |
"Tree.foreground", new ColorUIResource(Color.black), |
1095 |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
1096 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1097 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1098 |
"Tree.rowHeight", new Integer(20), // FIXME |
"Tree.rowHeight", new Integer(16), |
1099 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1100 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1101 |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(239, 235, 231)), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |
1102 |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
1103 |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black), |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black), |
1104 |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
1105 |
"Tree.textBackground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.textBackground", new ColorUIResource(new Color(192, 192, 192)), |
1106 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(new Color(0, 0, 0)), |
1107 |
"Viewport.background", new ColorUIResource(light), |
"Viewport.background", new ColorUIResource(light), |
1108 |
"Viewport.foreground", new ColorUIResource(Color.black), |
"Viewport.foreground", new ColorUIResource(Color.black), |
1109 |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |