org.gjt.sp.jedit.gui
Class JEditMetalTheme
java.lang.Object
javax.swing.plaf.metal.MetalTheme
javax.swing.plaf.metal.DefaultMetalTheme
org.gjt.sp.jedit.gui.JEditMetalTheme
- public class JEditMetalTheme
- extends DefaultMetalTheme
Methods inherited from class javax.swing.plaf.metal.MetalTheme |
addCustomEntriesToTable, getAcceleratorForeground, getAcceleratorSelectedForeground, getBlack, getControl, getControlDarkShadow, getControlDisabled, getControlHighlight, getControlInfo, getControlShadow, getControlTextColor, getDesktopColor, getFocusColor, getHighlightedTextColor, getInactiveControlTextColor, getInactiveSystemTextColor, getMenuBackground, getMenuDisabledForeground, getMenuForeground, getMenuSelectedBackground, getMenuSelectedForeground, getPrimaryControl, getPrimaryControlDarkShadow, getPrimaryControlHighlight, getPrimaryControlInfo, getPrimaryControlShadow, getSeparatorBackground, getSeparatorForeground, getTextHighlightColor, getUserTextColor, getWhite, getWindowBackground, getWindowTitleBackground, getWindowTitleForeground, getWindowTitleInactiveBackground, getWindowTitleInactiveForeground |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JEditMetalTheme
public JEditMetalTheme()
getName
public String getName()
getSystemTextColor
public ColorUIResource getSystemTextColor()
getControlTextFont
public FontUIResource getControlTextFont()
getSystemTextFont
public FontUIResource getSystemTextFont()
getUserTextFont
public FontUIResource getUserTextFont()
getMenuTextFont
public FontUIResource getMenuTextFont()
propertiesChanged
public void propertiesChanged()