public class KeyStrokeSettings extends AbstractPropertiesSettings
KeyStroke
s.AbstractPropertiesSettings.PropertyEntry<T>
Modifier and Type | Field and Description |
---|---|
static java.io.File |
SETTINGS_FILE
path of the properties file
|
static java.lang.String |
SETTINGS_FILENAME
filename of the properties file
|
listenerList, properties, propertyEntries
Modifier and Type | Method and Description |
---|---|
static <T> void |
defineDefault(java.lang.Class<T> clazz,
javax.swing.KeyStroke ks) |
static <T> void |
defineDefault(T any,
javax.swing.KeyStroke ks) |
static KeyStrokeSettings |
getInstance() |
void |
readSettings(java.util.Properties props)
gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
void |
save() |
addSettingsListener, createBooleanProperty, createDoubleProperty, createFloatProperty, createIntegerProperty, createStringListProperty, createStringProperty, createStringSetProperty, fireSettingsChange, isInitialized, removeSettingsListener, writeSettings
public static final java.lang.String SETTINGS_FILENAME
public static final java.io.File SETTINGS_FILE
public static <T> void defineDefault(T any, javax.swing.KeyStroke ks)
public static <T> void defineDefault(java.lang.Class<T> clazz, javax.swing.KeyStroke ks)
public static KeyStrokeSettings getInstance()
public void readSettings(java.util.Properties props)
readSettings
in interface Settings
readSettings
in class AbstractPropertiesSettings
public void save()
Copyright © 2003-2019 The KeY-Project.