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), |
"List.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
600 |
"List.foreground", new ColorUIResource(Color.black), |
"List.foreground", new ColorUIResource(Color.black), |