⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 basiclookandfeel.java

📁 gcc的组建
💻 JAVA
📖 第 1 页 / 共 4 页
字号:
      "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.tabbedPaneTabAreaInsets", new InsetsUIResource(3, 2, 1, 2),      "TabbedPane.tabbedPaneTabInsets", new InsetsUIResource(1, 4, 1, 4),      "TabbedPane.tabbedPaneContentBorderInsets", new InsetsUIResource(3, 2, 1, 2),      "TabbedPane.tabbedPaneTabPadInsets", new InsetsUIResource(1, 1, 1, 1),      "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.cellBorder", new BorderUIResource.BevelBorderUIResource(0),      "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.keyBindings", new JTextComponent.KeyBinding[] {        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_UP,                                                             0), "caret-up"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,                                                             0), "caret-down"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP,                                                             0), "page-up"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN,                                                             0), "page-down"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,                                                             0), "insert-break"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_TAB,                                                             0), "insert-tab")          },      "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.keyBindings", new JTextComponent.KeyBinding[] {        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,                                                             0),                                      "notify-field-accept"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT,                                 InputEvent.SHIFT_DOWN_MASK),                                 "selection-backward"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT,                                 InputEvent.SHIFT_DOWN_MASK),                                 "selection-forward"),          },      "TextField.margin", new InsetsUIResource(0, 0, 0, 0),      "TextField.selectionBackground", new ColorUIResource(Color.black),      "TextField.selectionForeground", new ColorUIResource(Color.white),      "TextPane.background", new ColorUIResource(Color.white),      "TextPane.border", BasicBorders.getMarginBorder(),      "TextPane.caretBlinkRate", new Integer(500),      "TextPane.caretForeground", new ColorUIResource(Color.black),      "TextPane.font", new FontUIResource("Serif", Font.PLAIN, 12),      "TextPane.foreground", new ColorUIResource(Color.black),      "TextPane.inactiveForeground", new ColorUIResource(Color.gray),      "TextPane.keyBindings", new JTextComponent.KeyBinding[] {        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_UP,                                                             0), "caret-up"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,                                                             0), "caret-down"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP,                                                             0), "page-up"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN,                                                             0), "page-down"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_ENTER,                                                             0), "insert-break"),        new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_TAB,                                                             0), "insert-tab")          },      "TextPane.margin", new InsetsUIResource(3, 3, 3, 3),      "TextPane.selectionBackground", new ColorUIResource(Color.black),      "TextPane.selectionForeground", new ColorUIResource(Color.white),      "TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(),      "TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12),      "TitledBorder.titleColor", new ColorUIResource(darkShadow),      "ToggleButton.background", new ColorUIResource(light),      "ToggleButton.border",      new BorderUIResource.CompoundBorderUIResource(null, null),      "ToggleButton.darkShadow", new ColorUIResource(shadow),      "ToggleButton.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "SPACE",  "pressed",        "released SPACE", "released"      }),      "ToggleButton.font", new FontUIResource("Dialog", Font.PLAIN, 12),      "ToggleButton.foreground", new ColorUIResource(darkShadow),      "ToggleButton.highlight", new ColorUIResource(highLight),      "ToggleButton.light", new ColorUIResource(light),      "ToggleButton.margin", new InsetsUIResource(2, 14, 2, 14),      "ToggleButton.shadow", new ColorUIResource(shadow),      "ToggleButton.textIconGap", new Integer(4),      "ToggleButton.textShiftOffset", new Integer(0),      "ToolBar.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "UP",  "navigateUp",        "KP_UP", "navigateUp",        "DOWN",  "navigateDown",        "KP_DOWN", "navigateDown",        "LEFT",  "navigateLeft",        "KP_LEFT", "navigateLeft",        "RIGHT", "navigateRight",        "KP_RIGHT", "navigateRight"      }),      "ToolBar.background", new ColorUIResource(light),      "ToolBar.border", new BorderUIResource.EtchedBorderUIResource(),      "ToolBar.darkShadow", new ColorUIResource(shadow),      "ToolBar.dockingBackground", new ColorUIResource(light),      "ToolBar.dockingForeground", new ColorUIResource(Color.red),      "ToolBar.floatingBackground", new ColorUIResource(light),      "ToolBar.floatingForeground", new ColorUIResource(Color.darkGray),      "ToolBar.font", new FontUIResource("Dialog", Font.PLAIN, 12),      "ToolBar.foreground", new ColorUIResource(darkShadow),      "ToolBar.highlight", new ColorUIResource(highLight),      "ToolBar.light", new ColorUIResource(highLight),      "ToolBar.separatorSize", new DimensionUIResource(20, 20),      "ToolBar.shadow", new ColorUIResource(shadow),      "ToolTip.background", new ColorUIResource(light),      "ToolTip.border", new BorderUIResource.LineBorderUIResource(Color.lightGray),      "ToolTip.font", new FontUIResource("SansSerif", Font.PLAIN, 12),      "ToolTip.foreground", new ColorUIResource(darkShadow),      "Tree.ancestorInputMap", new UIDefaults.LazyInputMap(new Object[] {        "ESCAPE", "cancel"      }),      "Tree.background", new ColorUIResource(new Color(255, 255, 255)),      "Tree.changeSelectionWithFocus", Boolean.TRUE,//      "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")),//      "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")),      "Tree.drawsFocusBorderAroundIcon", Boolean.FALSE,      "Tree.editorBorder", new BorderUIResource.LineBorderUIResource(Color.lightGray),      "Tree.focusInputMap", new UIDefaults.LazyInputMap(new Object[] {        "shift PAGE_DOWN", "scrollDownExtendSelection",        "PAGE_DOWN", "scrollDownChangeSelection",        "END",  "selectLast",        "ctrl KP_UP", "selectPreviousChangeLead",        "shift END", "selectLastExtendSelection",        "HOME",  "selectFirst",        "ctrl END", "selectLastChangeLead",        "ctrl SLASH", "selectAll",        "LEFT",  "selectParent",        "shift HOME", "selectFirstExtendSelection",        "UP",  "selectPrevious",        "ctrl KP_DOWN", "selectNextChangeLead",        "RIGHT", "selectChild",        "ctrl HOME", "selectFirstChangeLead",        "DOWN",  "selectNext",        "ctrl KP_LEFT", "scrollLeft",        "shift UP", "selectPreviousExtendSelection",        "F2",  "startEditing",        "ctrl LEFT", "scrollLeft",        "ctrl KP_RIGHT","scrollRight",        "ctrl UP", "selectPreviousChangeLead",        "shift DOWN", "selectNextExtendSelection",        "ENTER", "toggle",        "KP_UP", "selectPrevious",        "KP_DOWN", "selectNext",        "ctrl RIGHT", "scrollRight",        "KP_LEFT", "selectParent",        "KP_RIGHT", "selectChild",        "ctrl DOWN", "selectNextChangeLead",        "ctrl A", "selectAll",        "shift KP_UP", "selectPreviousExtendSelection",        "shift KP_DOWN","selectNextExtendSelection",        "ctrl SPACE", "toggleSelectionPreserveAnchor",        "ctrl shift PAGE_UP", "scrollUpExtendSelection",        "ctrl BACK_SLASH", "clearSelection",        "shift SPACE", "extendSelection",        "ctrl PAGE_UP", "scrollUpChangeLead",        "shift PAGE_UP","scrollUpExtendSelection",        "SPACE", "toggleSelectionPreserveAnchor",        "ctrl shift PAGE_DOWN", "scrollDownExtendSelection",        "PAGE_UP",  "scrollUpChangeSelection",        "ctrl PAGE_DOWN", "scrollDownChangeLead"      }),      "Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12),      "Tree.foreground", new ColorUIResource(Color.black),      "Tree.hash", new ColorUIResource(new Color(128, 128, 128)),      "Tree.leftChildIndent", new Integer(7),      "Tree.rightChildIndent", new Integer(13),      "Tree.rowHeight", new Integer(0),      "Tree.scrollsOnExpand", Boolean.TRUE,      "Tree.selectionBackground", new ColorUIResource(Color.black),      "Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)),      "Tree.selectionBorderColor", new ColorUIResource(Color.black),      "Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(Color.black),      "Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)),      "Tree.textBackground", new ColorUIResource(new Color(192, 192, 192)),      "Tree.textForeground", new ColorUIResource(new Color(0, 0, 0)),      "Viewport.background", new ColorUIResource(light),      "Viewport.foreground", new ColorUIResource(Color.black),      "Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12)    };    defaults.putDefaults(uiDefaults);  }} // class BasicLookAndFeel

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -