/jEdit/tags/jedit-4-2-pre14/installer/JEditMetalTheme.java
Java | 57 lines | 35 code | 9 blank | 13 comment | 0 complexity | 6982de9068d3ae45f925a131f38fd7a3 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- /*
- * JEditMetalTheme.java - Minor Metal L&F tweaks for jEdit installer
- *
- * Originally written by Slava Pestov for the jEdit installer project. This work
- * has been placed into the public domain. You may use this work in any way and
- * for any purpose you wish.
- *
- * THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND, NOT EVEN THE
- * IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR OF THIS SOFTWARE, ASSUMES
- * _NO_ RESPONSIBILITY FOR ANY CONSEQUENCE RESULTING FROM THE USE, MODIFICATION,
- * OR REDISTRIBUTION OF THIS SOFTWARE.
- */
- package installer;
- import javax.swing.plaf.metal.*;
- import javax.swing.plaf.*;
- import java.awt.Font;
- public class JEditMetalTheme extends DefaultMetalTheme
- {
- public String getName()
- {
- return "jEdit";
- }
- public ColorUIResource getSystemTextColor()
- {
- return getBlack();
- }
- public FontUIResource getControlTextFont()
- {
- return primaryFont;
- }
- public FontUIResource getSystemTextFont()
- {
- return secondaryFont;
- }
- public FontUIResource getUserTextFont()
- {
- return secondaryFont;
- }
- public FontUIResource getMenuTextFont()
- {
- return primaryFont;
- }
- // private members
- private FontUIResource primaryFont = new FontUIResource("Dialog",
- Font.PLAIN,12);
- private FontUIResource secondaryFont = new FontUIResource("Dialog",
- Font.PLAIN,12);
- }