public class ThemeDefault extends Theme
background, font, gutterBorderColor, gutterBorderWidth, gutterText, gutterTextFont, gutterTextPaddingLeft, gutterTextPaddingRight, highlightedBackground, plain, styles| Constructor and Description |
|---|
ThemeDefault() |
addStyle, clearStyles, clone, getBackground, getFont, getGutterBorderColor, getGutterBorderWidth, getGutterText, getGutterTextFont, getGutterTextPaddingLeft, getGutterTextPaddingRight, getHighlightedBackground, getPlain, getStyle, getStyles, getStylesAttributeSet, removeStyle, setBackground, setFont, setGutterBorderColor, setGutterBorderWidth, setGutterText, setGutterTextFont, setGutterTextPaddingLeft, setGutterTextPaddingRight, setHighlightedBackground, setPlain, setTheme, toStringCopyright © 2015. All rights reserved.