public class KFDefaults extends Defaults
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
APP_ID |
static java.lang.String |
APP_NAME |
static java.awt.Color |
GRID_COLOR |
static Settings.SettingKey |
GRID_COLOR_KEY |
static int |
GRID_SPACING |
static Settings.SettingKey |
GRID_SPACING_KEY |
static java.lang.String |
LAF |
static java.awt.Color |
LAYOUT_COLOR |
static Settings.SettingKey |
LAYOUT_COLOR_KEY |
static int |
LAYOUT_HEIGHT |
static Settings.SettingKey |
LAYOUT_HEIGHT_KEY |
static int |
LAYOUT_WIDTH |
static Settings.SettingKey |
LAYOUT_WIDTH_KEY |
static LoggingLevel |
LOGGING_LEVEL |
static Settings.SettingKey |
LOGGING_LEVEL_KEY |
static java.lang.String |
MAIN_PERSPECTIVE_ID |
static int |
MAX_UNDO_POINTS |
static Settings.SettingKey |
MAX_UNDO_POINTS_KEY |
static int |
SCROLL_BAR_INCREMENT_LAYOUT |
static boolean |
SHOW_GRID |
static Settings.SettingKey |
SHOW_GRID_KEY |
static boolean |
SHOW_JTREE_GLOBAL_INFO_TIPS |
static Settings.SettingKey |
SHOW_JTREE_TIP_TEXT_KEY |
static int |
STEP_LABEL_FONT_SIZE |
static Settings.SettingKey |
STEP_LABEL_FONT_SIZE_KEY |
Constructor and Description |
---|
KFDefaults() |
add, getDefaults, getID, setID
public 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
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