basiclookandfeel.java

来自「linux下建立JAVA虚拟机的源码KAFFE」· Java 代码 · 共 1,300 行 · 第 1/5 页

            "ctrl PAGE_UP", "positiveBlockIncrement",
            "KP_RIGHT", "positiveUnitIncrement",
            "DOWN", "negativeUnitIncrement",
            "KP_LEFT", "negativeUnitIncrement",
            "RIGHT", "positiveUnitIncrement",
            "KP_DOWN", "negativeUnitIncrement",
            "UP", "positiveUnitIncrement",
            "KP_UP", "positiveUnitIncrement",
            "LEFT", "negativeUnitIncrement",
            "HOME", "minScroll",
            "END", "maxScroll"
      }),
      "Slider.focusInsets", new InsetsUIResource(2, 2, 2, 2),
      "Slider.foreground", new ColorUIResource(light),
      "Slider.highlight", new ColorUIResource(highLight),
      "Slider.shadow", new ColorUIResource(shadow),
      "Slider.thumbHeight", new Integer(20),
      "Slider.thumbWidth", new Integer(11),
      "Slider.tickHeight", new Integer(12),
      "Spinner.background", new ColorUIResource(light),
      "Spinner.foreground", new ColorUIResource(light),
      "Spinner.arrowButtonSize", new DimensionUIResource(16, 5),
      "Spinner.editorBorderPainted", Boolean.FALSE,
      "Spinner.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),
      "SplitPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
        "F6",  "toggleFocus",
        "F8",  "startResize",
        "END",  "selectMax",
        "HOME",  "selectMin",
        "LEFT",  "negativeIncremnent",
        "KP_UP", "negativeIncrement",
        "KP_DOWN", "positiveIncrement",
        "UP",  "negativeIncrement",
        "RIGHT", "positiveIncrement",
        "KP_LEFT", "negativeIncrement",
        "DOWN",  "positiveIncrement",
        "KP_RIGHT", "positiveIncrement"
      }),
      "SplitPane.background", new ColorUIResource(light),
      "SplitPane.border", new BasicBorders.SplitPaneBorder(null, null),
      "SplitPane.darkShadow", new ColorUIResource(shadow),
      "SplitPane.dividerSize", new Integer(7),
      "SplitPane.highlight", new ColorUIResource(highLight),
      "SplitPane.shadow", new ColorUIResource(shadow),
      "SplitPaneDivider.border", BasicBorders.getSplitPaneDividerBorder(),
      "SplitPaneDivider.draggingColor", new ColorUIResource(Color.DARK_GRAY),
      "TabbedPane.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
        "ctrl PAGE_DOWN","navigatePageDown",
        "ctrl PAGE_UP", "navigatePageUp",
        "ctrl UP", "requestFocus",
        "ctrl KP_UP", "requestFocus"
      }),
      "TabbedPane.background", new ColorUIResource(light),
      "TabbedPane.contentBorderInsets", new InsetsUIResource(2, 2, 3, 3),
      "TabbedPane.darkShadow", new ColorUIResource(shadow),
      "TabbedPane.focus", new ColorUIResource(darkShadow),
      "TabbedPane.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
            KeyStroke.getKeyStroke("ctrl DOWN"), "requestFocusForVisibleComponent",
            KeyStroke.getKeyStroke("KP_UP"), "navigateUp",
            KeyStroke.getKeyStroke("LEFT"), "navigateLeft",
            KeyStroke.getKeyStroke("ctrl KP_DOWN"), "requestFocusForVisibleComponent",
            KeyStroke.getKeyStroke("UP"), "navigateUp",
            KeyStroke.getKeyStroke("KP_DOWN"), "navigateDown",
            KeyStroke.getKeyStroke("KP_LEFT"), "navigateLeft",
            KeyStroke.getKeyStroke("RIGHT"), "navigateRight",
            KeyStroke.getKeyStroke("KP_RIGHT"), "navigateRight",
            KeyStroke.getKeyStroke("DOWN"), "navigateDown"
      }),
      "TabbedPane.font", new FontUIResource("Dialog", Font.PLAIN, 12),
      "TabbedPane.foreground", new ColorUIResource(darkShadow),
      "TabbedPane.highlight", new ColorUIResource(highLight),
      "TabbedPane.light", new ColorUIResource(highLight),
      "TabbedPane.selectedTabPadInsets", new InsetsUIResource(2, 2, 2, 1),
      "TabbedPane.shadow", new ColorUIResource(shadow),
      "TabbedPane.tabbedPaneContentBorderInsets", new InsetsUIResource(3, 2, 1, 2),
      "TabbedPane.tabbedPaneTabPadInsets", new InsetsUIResource(1, 1, 1, 1),
      "TabbedPane.tabsOpaque", Boolean.TRUE,
      "TabbedPane.tabAreaInsets", new InsetsUIResource(3, 2, 0, 2),
      "TabbedPane.tabInsets", new InsetsUIResource(0, 4, 1, 4),
      "TabbedPane.tabRunOverlay", new Integer(2),
      "TabbedPane.textIconGap", new Integer(4),
      "Table.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {
        "ctrl DOWN", "selectNextRowChangeLead",
        "ctrl RIGHT", "selectNextColumnChangeLead",
        "ctrl UP", "selectPreviousRowChangeLead",
        "ctrl LEFT", "selectPreviousColumnChangeLead",
        "CUT", "cut",
        "SPACE", "addToSelection",
        "ctrl SPACE", "toggleAndAnchor",
        "shift SPACE", "extendTo",
        "shift ctrl SPACE", "moveSelectionTo",
        "ctrl X", "cut",
        "ctrl C", "copy",
        "ctrl KP_RIGHT", "selectNextColumnChangeLead",
        "ctrl KP_LEFT", "selectPreviousColumnChangeLead",
        "ctrl V", "paste",
        "ctrl KP_DOWN", "selectNextRowChangeLead",
        "COPY", "copy",
        "ctrl KP_UP", "selectPreviousRowChangeLead",
        "PASTE", "paste",
        "shift PAGE_DOWN","scrollDownExtendSelection",
        "PAGE_DOWN", "scrollDownChangeSelection",
        "END",  "selectLastColumn",
        "shift END", "selectLastColumnExtendSelection",
        "HOME",  "selectFirstColumn",
        "ctrl END", "selectLastRow",
        "ctrl shift END","selectLastRowExtendSelection",
        "LEFT",  "selectPreviousColumn",
        "shift HOME", "selectFirstColumnExtendSelection",
        "UP",  "selectPreviousRow",
        "RIGHT", "selectNextColumn",
        "ctrl HOME", "selectFirstRow",
        "shift LEFT", "selectPreviousColumnExtendSelection",
        "DOWN",  "selectNextRow",
        "ctrl shift HOME","selectFirstRowExtendSelection",
        "shift UP", "selectPreviousRowExtendSelection",
        "F2",  "startEditing",
        "shift RIGHT", "selectNextColumnExtendSelection",
        "TAB",  "selectNextColumnCell",
        "shift DOWN", "selectNextRowExtendSelection",
        "ENTER", "selectNextRowCell",
        "KP_UP", "selectPreviousRow",
        "KP_DOWN", "selectNextRow",
        "KP_LEFT", "selectPreviousColumn",
        "KP_RIGHT", "selectNextColumn",
        "shift TAB", "selectPreviousColumnCell",
        "ctrl A", "selectAll",
        "shift ENTER", "selectPreviousRowCell",
        "shift KP_DOWN", "selectNextRowExtendSelection",
        "shift KP_LEFT", "selectPreviousColumnExtendSelection",
        "ESCAPE",  "cancel",
        "ctrl shift PAGE_UP", "scrollLeftExtendSelection",
        "shift KP_RIGHT", "selectNextColumnExtendSelection",
        "ctrl PAGE_UP",  "scrollLeftChangeSelection",
        "shift PAGE_UP", "scrollUpExtendSelection",
        "ctrl shift PAGE_DOWN", "scrollRightExtendSelection",
        "ctrl PAGE_DOWN", "scrollRightChangeSelection",
        "PAGE_UP",   "scrollUpChangeSelection",
        "ctrl shift LEFT", "selectPreviousColumnExtendSelection",
        "shift KP_UP", "selectPreviousRowExtendSelection",
        "ctrl shift UP", "selectPreviousRowExtendSelection",
        "ctrl shift RIGHT", "selectNextColumnExtendSelection",
        "ctrl shift KP_RIGHT", "selectNextColumnExtendSelection",
        "ctrl shift DOWN", "selectNextRowExtendSelection",
        "ctrl BACK_SLASH", "clearSelection",
        "ctrl shift KP_UP", "selectPreviousRowExtendSelection",
        "ctrl shift KP_LEFT", "selectPreviousColumnExtendSelection",
        "ctrl SLASH", "selectAll",
        "ctrl shift KP_DOWN", "selectNextRowExtendSelection",
      }),
      "Table.background", new ColorUIResource(new ColorUIResource(255, 255, 255)),
      "Table.focusCellBackground", new ColorUIResource(new ColorUIResource(255, 255, 255)),
      "Table.focusCellForeground", new ColorUIResource(new ColorUIResource(0, 0, 0)),
      "Table.focusCellHighlightBorder",
      new BorderUIResource.LineBorderUIResource(
                                             new ColorUIResource(255, 255, 0)),
      "Table.font", new FontUIResource("Dialog", Font.PLAIN, 12),
      "Table.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)),
      "Table.gridColor", new ColorUIResource(new ColorUIResource(128, 128, 128)),
      "Table.scrollPaneBorder", new BorderUIResource.BevelBorderUIResource(0),
      "Table.selectionBackground", new ColorUIResource(new ColorUIResource(0, 0, 128)),
      "Table.selectionForeground", new ColorUIResource(new ColorUIResource(255, 255, 255)),
      "TableHeader.background", new ColorUIResource(new ColorUIResource(192, 192, 192)),
      "TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12),
      "TableHeader.foreground", new ColorUIResource(new ColorUIResource(0, 0, 0)),

      "TextArea.background", new ColorUIResource(light),
      "TextArea.border", new BorderUIResource(BasicBorders.getMarginBorder()),
      "TextArea.caretBlinkRate", new Integer(500),
      "TextArea.caretForeground", new ColorUIResource(Color.black),
      "TextArea.font", new FontUIResource("MonoSpaced", Font.PLAIN, 12),
      "TextArea.foreground", new ColorUIResource(Color.black),
      "TextArea.inactiveForeground", new ColorUIResource(Color.gray),
      "TextArea.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
         KeyStroke.getKeyStroke("shift UP"), "selection-up",
         KeyStroke.getKeyStroke("ctrl RIGHT"), "caret-next-word",
         KeyStroke.getKeyStroke("shift ctrl LEFT"), "selection-previous-word",
         KeyStroke.getKeyStroke("shift KP_UP"), "selection-up",
         KeyStroke.getKeyStroke("DOWN"), "caret-down",
         KeyStroke.getKeyStroke("shift ctrl T"), "previous-link-action",
         KeyStroke.getKeyStroke("ctrl LEFT"), "caret-previous-word",
         KeyStroke.getKeyStroke("CUT"), "cut-to-clipboard",
         KeyStroke.getKeyStroke("END"), "caret-end-line",
         KeyStroke.getKeyStroke("shift PAGE_UP"), "selection-page-up",
         KeyStroke.getKeyStroke("KP_UP"), "caret-up",
         KeyStroke.getKeyStroke("DELETE"), "delete-next",
         KeyStroke.getKeyStroke("ctrl HOME"), "caret-begin",
         KeyStroke.getKeyStroke("shift LEFT"), "selection-backward",
         KeyStroke.getKeyStroke("ctrl END"), "caret-end",
         KeyStroke.getKeyStroke("BACK_SPACE"), "delete-previous",
         KeyStroke.getKeyStroke("shift ctrl RIGHT"), "selection-next-word",
         KeyStroke.getKeyStroke("LEFT"), "caret-backward",
         KeyStroke.getKeyStroke("KP_LEFT"), "caret-backward",
         KeyStroke.getKeyStroke("shift KP_RIGHT"), "selection-forward",
         KeyStroke.getKeyStroke("ctrl SPACE"), "activate-link-action",
         KeyStroke.getKeyStroke("ctrl H"), "delete-previous",
         KeyStroke.getKeyStroke("ctrl BACK_SLASH"), "unselect",
         KeyStroke.getKeyStroke("ENTER"), "insert-break",
         KeyStroke.getKeyStroke("shift HOME"), "selection-begin-line",
         KeyStroke.getKeyStroke("RIGHT"), "caret-forward",
         KeyStroke.getKeyStroke("shift ctrl PAGE_UP"), "selection-page-left",
         KeyStroke.getKeyStroke("shift DOWN"), "selection-down",
         KeyStroke.getKeyStroke("PAGE_DOWN"), "page-down",
         KeyStroke.getKeyStroke("shift KP_LEFT"), "selection-backward",
         KeyStroke.getKeyStroke("shift ctrl O"), "toggle-componentOrientation",
         KeyStroke.getKeyStroke("ctrl X"), "cut-to-clipboard",
         KeyStroke.getKeyStroke("shift ctrl PAGE_DOWN"), "selection-page-right",
         KeyStroke.getKeyStroke("ctrl C"), "copy-to-clipboard",
         KeyStroke.getKeyStroke("ctrl KP_RIGHT"), "caret-next-word",
         KeyStroke.getKeyStroke("shift END"), "selection-end-line",
         KeyStroke.getKeyStroke("ctrl KP_LEFT"), "caret-previous-word",
         KeyStroke.getKeyStroke("HOME"), "caret-begin-line",
         KeyStroke.getKeyStroke("ctrl V"), "paste-from-clipboard",
         KeyStroke.getKeyStroke("KP_DOWN"), "caret-down",
         KeyStroke.getKeyStroke("ctrl A"), "select-all",
         KeyStroke.getKeyStroke("shift RIGHT"), "selection-forward",
         KeyStroke.getKeyStroke("shift ctrl END"), "selection-end",
         KeyStroke.getKeyStroke("COPY"), "copy-to-clipboard",
         KeyStroke.getKeyStroke("shift ctrl KP_LEFT"), "selection-previous-word",
         KeyStroke.getKeyStroke("ctrl T"), "next-link-action",
         KeyStroke.getKeyStroke("shift KP_DOWN"), "selection-down",
         KeyStroke.getKeyStroke("TAB"), "insert-tab",
         KeyStroke.getKeyStroke("UP"), "caret-up",
         KeyStroke.getKeyStroke("shift ctrl HOME"), "selection-begin",
         KeyStroke.getKeyStroke("shift PAGE_DOWN"), "selection-page-down",
         KeyStroke.getKeyStroke("KP_RIGHT"), "caret-forward",
         KeyStroke.getKeyStroke("shift ctrl KP_RIGHT"), "selection-next-word",
         KeyStroke.getKeyStroke("PAGE_UP"), "page-up",
         KeyStroke.getKeyStroke("PASTE"), "paste-from-clipboard"
      }),
      "TextArea.margin", new InsetsUIResource(0, 0, 0, 0),
      "TextArea.selectionBackground", new ColorUIResource(Color.black),
      "TextArea.selectionForeground", new ColorUIResource(Color.white),
      "TextField.background", new ColorUIResource(light),
      "TextField.border", new BasicBorders.FieldBorder(null, null, null, null),
      "TextField.caretBlinkRate", new Integer(500),
      "TextField.caretForeground", new ColorUIResource(Color.black),
      "TextField.darkShadow", new ColorUIResource(shadow),
      "TextField.font", new FontUIResource("SansSerif", Font.PLAIN, 12),
      "TextField.foreground", new ColorUIResource(Color.black),
      "TextField.highlight", new ColorUIResource(highLight),
      "TextField.inactiveBackground", new ColorUIResource(Color.LIGHT_GRAY),
      "TextField.inactiveForeground", new ColorUIResource(Color.GRAY),
      "TextField.light", new ColorUIResource(highLight),
      "TextField.highlight", new ColorUIResource(light),
      "TextField.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {
         KeyStroke.getKeyStroke("ENTER"), "notify-field-accept",
         KeyStroke.getKeyStroke("LEFT"), "caret-backward",
         KeyStroke.getKeyStroke("RIGHT"), "caret-forward",
         KeyStroke.getKeyStroke("BACK_SPACE"), "delete-previous",
         KeyStroke.getKeyStroke("ctrl X"), "cut-to-clipboard",
         KeyStroke.getKeyStroke("ctrl C"), "copy-to-clipboard",
         KeyStroke.getKeyStroke("ctrl V"), "paste-from-clipboard",
         KeyStroke.getKeyStroke("shift LEFT"), "selection-backward",
         KeyStroke.getKeyStroke("shift RIGHT"), "selection-forward",
         KeyStroke.getKeyStroke("HOME"), "caret-begin-line",
         KeyStroke.getKeyStroke("END"), "caret-end-line",
         KeyStroke.getKeyStroke("DELETE"), "delete-next",
         KeyStroke.getKeyStroke("shift ctrl O"), "toggle-componentOrientation",
         KeyStroke.getKeyStroke("shift KP