public static class PreprocessPanel.PreprocessDefaults extends Defaults
Modifier and Type | Field and Description |
---|---|
static boolean |
ALWAYS_SEND_INSTANCES_TO_ALL |
static Settings.SettingKey |
ALWAYS_SEND_INSTANCES_TO_ALL_KEY |
static java.lang.Boolean |
ENABLE_UNDO |
static Settings.SettingKey |
ENABLE_UNDO_KEY |
static Filter |
FILTER |
static Settings.SettingKey |
FILTER_KEY |
static java.lang.String |
ID |
static java.io.File |
INITIAL_DIR |
static Settings.SettingKey |
INITIAL_DIR_KEY |
static java.io.File |
UNDO_DIR |
static Settings.SettingKey |
UNDO_DIR_KEY |
Constructor and Description |
---|
PreprocessDefaults() |
add, getDefaults, getID, setID
public static final java.lang.String ID
public static final Settings.SettingKey INITIAL_DIR_KEY
public static final java.io.File INITIAL_DIR
public static final Settings.SettingKey UNDO_DIR_KEY
public static final java.io.File UNDO_DIR
public static final Settings.SettingKey FILTER_KEY
public static final Filter FILTER
public static final Settings.SettingKey ENABLE_UNDO_KEY
public static final java.lang.Boolean ENABLE_UNDO
public static final Settings.SettingKey ALWAYS_SEND_INSTANCES_TO_ALL_KEY
public static boolean ALWAYS_SEND_INSTANCES_TO_ALL