896 |
"TabbedPane.tabRunOverlay", new Integer(2), |
"TabbedPane.tabRunOverlay", new Integer(2), |
897 |
"TabbedPane.textIconGap", new Integer(4), |
"TabbedPane.textIconGap", new Integer(4), |
898 |
"Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] { |
899 |
|
"ctrl DOWN", "selectNextRowChangeLead", |
900 |
|
"ctrl RIGHT", "selectNextColumnChangeLead", |
901 |
|
"ctrl UP", "selectPreviousRowChangeLead", |
902 |
|
"ctrl LEFT", "selectPreviousColumnChangeLead", |
903 |
|
"CUT", "cut", |
904 |
|
"SPACE", "addToSelection", |
905 |
|
"ctrl SPACE", "toggleAndAnchor", |
906 |
|
"shift SPACE", "extendTo", |
907 |
|
"shift ctrl SPACE", "moveSelectionTo", |
908 |
|
"ctrl X", "cut", |
909 |
|
"ctrl C", "copy", |
910 |
|
"ctrl KP_RIGHT", "selectNextColumnChangeLead", |
911 |
|
"ctrl KP_LEFT", "selectPreviousColumnChangeLead", |
912 |
|
"ctrl V", "paste", |
913 |
|
"ctrl KP_DOWN", "selectNextRowChangeLead", |
914 |
|
"COPY", "copy", |
915 |
|
"ctrl KP_UP", "selectPreviousRowChangeLead", |
916 |
|
"PASTE", "paste", |
917 |
"shift PAGE_DOWN","scrollDownExtendSelection", |
"shift PAGE_DOWN","scrollDownExtendSelection", |
918 |
"PAGE_DOWN", "scrollDownChangeSelection", |
"PAGE_DOWN", "scrollDownChangeSelection", |
919 |
"END", "selectLastColumn", |
"END", "selectLastColumn", |