PageRenderTime 112ms CodeModel.GetById 109ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/installer/JEditMetalTheme.java

#
Java | 57 lines | 35 code | 9 blank | 13 comment | 0 complexity | 6982de9068d3ae45f925a131f38fd7a3 MD5 | raw file
 1/*
 2 * JEditMetalTheme.java - Minor Metal L&F tweaks for jEdit installer
 3 *
 4 * Originally written by Slava Pestov for the jEdit installer project. This work
 5 * has been placed into the public domain. You may use this work in any way and
 6 * for any purpose you wish.
 7 *
 8 * THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND, NOT EVEN THE
 9 * IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR OF THIS SOFTWARE, ASSUMES
10 * _NO_ RESPONSIBILITY FOR ANY CONSEQUENCE RESULTING FROM THE USE, MODIFICATION,
11 * OR REDISTRIBUTION OF THIS SOFTWARE.
12 */
13
14package installer;
15
16import javax.swing.plaf.metal.*;
17import javax.swing.plaf.*;
18import java.awt.Font;
19
20public class JEditMetalTheme extends DefaultMetalTheme
21{
22	public String getName()
23	{
24		return "jEdit";
25	}
26
27	public ColorUIResource getSystemTextColor()
28	{
29		return getBlack();
30	}
31
32	public FontUIResource getControlTextFont()
33	{
34		return primaryFont;
35	}
36
37	public FontUIResource getSystemTextFont()
38	{
39		return secondaryFont;
40	}
41
42	public FontUIResource getUserTextFont()
43	{
44		return secondaryFont;
45	}
46
47	public FontUIResource getMenuTextFont()
48	{
49		return primaryFont;
50	}
51
52	// private members
53	private FontUIResource primaryFont = new FontUIResource("Dialog",
54		Font.PLAIN,12);
55	private FontUIResource secondaryFont = new FontUIResource("Dialog",
56		Font.PLAIN,12);
57}