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

📄 kunststoffdesktoptheme.java

📁 java写的多功能文件编辑器
💻 JAVA
字号:
/* * KunststoffDesktopTheme.java * * Created on 17. Oktober 2001, 22:40 */package com.incors.plaf.kunststoff.themes;import java.awt.Font;import javax.swing.plaf.ColorUIResource;import javax.swing.plaf.FontUIResource;import javax.swing.UIDefaults;import javax.swing.UIManager;/** * * @author  christophw * @version */public class KunststoffDesktopTheme extends com.incors.plaf.kunststoff.KunststoffTheme {    private FontUIResource controlFont;    private FontUIResource menuFont;    private FontUIResource windowTitleFont;    private FontUIResource monospacedFont;    /**     * Crates this Theme     */    public KunststoffDesktopTheme()    {        menuFont = new FontUIResource("Tahoma",Font.PLAIN, 12);        controlFont = new FontUIResource("Tahoma",Font.PLAIN, 11);        windowTitleFont =  new FontUIResource("Tahoma", Font.BOLD, 12);        monospacedFont = new FontUIResource("Monospaced", Font.PLAIN, 11);    }    public String getName()    {        return "Desktop";    }    /**     * The Font of Labels in many cases     */    public FontUIResource getControlTextFont()    {        return controlFont;    }    /**     * The Font of Menus and MenuItems     */    public FontUIResource getMenuTextFont()    {        return menuFont;    }    /**     * The Font of Nodes in JTrees     */    public FontUIResource getSystemTextFont()    {        return controlFont;    }    /**     * The Font in TextFields, EditorPanes, etc.     */    public FontUIResource getUserTextFont()    {        return controlFont;    }    /**     * The Font of the Title of JInternalFrames     */    public FontUIResource getWindowTitleFont()    {        return windowTitleFont;    }    public void addCustomEntriesToTable(UIDefaults table)    {        super.addCustomEntriesToTable(table);        UIManager.getDefaults().put("PasswordField.font", monospacedFont);        UIManager.getDefaults().put("TextArea.font", monospacedFont);        UIManager.getDefaults().put("TextPane.font", monospacedFont);        UIManager.getDefaults().put("EditorPane.font", monospacedFont);    }}

⌨️ 快捷键说明

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