public class KFDefaults extends Defaults
m_defaults, m_defaultsID| Constructor and Description |
|---|
KFDefaults() |
add, getDefaults, getID, setIDpublic static final java.lang.String APP_NAME
public static final java.lang.String APP_ID
public static final java.lang.String MAIN_PERSPECTIVE_ID
public static final Settings.SettingKey MAX_UNDO_POINTS_KEY
public static final int MAX_UNDO_POINTS
public static final Settings.SettingKey LAYOUT_COLOR_KEY
public static final java.awt.Color LAYOUT_COLOR
public static final Settings.SettingKey SHOW_GRID_KEY
public static final boolean SHOW_GRID
public static final Settings.SettingKey GRID_COLOR_KEY
public static final java.awt.Color GRID_COLOR
public static final Settings.SettingKey GRID_SPACING_KEY
public static final int GRID_SPACING
public static final int SCROLL_BAR_INCREMENT_LAYOUT
public static final Settings.SettingKey LAYOUT_WIDTH_KEY
public static final Settings.SettingKey LAYOUT_HEIGHT_KEY
public static final int LAYOUT_WIDTH
public static final int LAYOUT_HEIGHT
public static final Settings.SettingKey STEP_LABEL_FONT_SIZE_KEY
public static final int STEP_LABEL_FONT_SIZE
public static final Settings.SettingKey LOGGING_LEVEL_KEY
public static final LoggingLevel LOGGING_LEVEL
protected static final Settings.SettingKey LOG_MESSAGE_FONT_SIZE_KEY
protected static final int LOG_MESSAGE_FONT_SIZE
public static final Settings.SettingKey SHOW_JTREE_TIP_TEXT_KEY
public static final boolean SHOW_JTREE_GLOBAL_INFO_TIPS
public static final java.lang.String LAF
protected static final Settings.SettingKey[] DEFAULT_KEYS
protected static final java.lang.Object[] DEFAULT_VALUES