public class WorkbenchDefaults extends Defaults
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
APP_ID |
static java.lang.String |
APP_NAME |
protected static java.lang.String |
LAF |
protected static Settings.SettingKey |
LAF_KEY |
protected static int |
LOG_MESSAGE_FONT_SIZE |
protected static Settings.SettingKey |
LOG_MESSAGE_FONT_SIZE_KEY |
protected static boolean |
SHOW_JTREE_GLOBAL_INFO_TIPS |
protected static Settings.SettingKey |
SHOW_JTREE_TIP_TEXT_KEY |
m_defaults, m_defaultsID| Constructor and Description |
|---|
WorkbenchDefaults()
Constructor
|
add, getDefaults, getID, setIDpublic static final java.lang.String APP_NAME
public static final java.lang.String APP_ID
protected static final Settings.SettingKey LAF_KEY
protected static final java.lang.String LAF
protected static final Settings.SettingKey SHOW_JTREE_TIP_TEXT_KEY
protected static final boolean SHOW_JTREE_GLOBAL_INFO_TIPS
protected static final Settings.SettingKey LOG_MESSAGE_FONT_SIZE_KEY
protected static final int LOG_MESSAGE_FONT_SIZE