Package | Description |
---|---|
grammarscope.grapher | |
grammarscope.grapher.widget |
Modifier and Type | Method and Description |
---|---|
static Settings.Setting |
Settings.Setting.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Settings.Setting[] |
Settings.Setting.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<Settings.Setting,java.lang.Object> |
Settings.diff(Settings settings)
Diff
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
Settings.getValue(Settings.Setting t) |
java.lang.String |
Settings.getValueString(Settings.Setting setting)
Get value string
|
void |
Settings.setValue(Settings.Setting t,
java.lang.Object v) |
void |
Settings.setValueFromString(Settings.Setting setting,
java.lang.String str)
Set value from string
|
Modifier and Type | Method and Description |
---|---|
void |
GraphWidget.applySetting(Settings.Setting setting,
java.lang.Object value)
Apply Setting
|
void |
View.applySetting(Settings.Setting setting,
java.lang.Object value)
Apply setting
|
private void |
GraphWidget.changeSetting(Settings.Setting setting,
java.lang.Object value) |
private boolean |
View.changeSetting(Settings.Setting setting,
java.lang.Object value,
View.ToDos toDos)
Change setting
|
private static javax.swing.Action |
Menu.makeAction(java.lang.String label,
java.lang.Object value,
Settings.Setting setting,
javax.swing.event.ChangeListener changeListener)
Make action
|
private static javax.swing.JMenu |
Menu.makeSubMenu(java.lang.String menuLabel,
javax.swing.event.ChangeListener changeListener,
java.lang.Class<? extends java.lang.Enum<?>> clazz,
boolean isRadio,
Settings.Setting setting,
java.lang.Object selected)
Make submenu
|
Modifier and Type | Method and Description |
---|---|
void |
View.applySettings(java.util.HashMap<Settings.Setting,java.lang.Object> diffs)
Apply settings
|