| Package | Description |
|---|---|
| grammarscope.grapher.properties |
| Modifier and Type | Class and Description |
|---|---|
class |
PropertyView
Property view editor
|
class |
SettingsView
Settings view
|
| Modifier and Type | Field and Description |
|---|---|
private PickListener |
SettingsEditor.pickListener
The pick listener to notify
|
| Modifier and Type | Method and Description |
|---|---|
void |
SettingsEditor.addListener(PickListener pickListener) |
void |
PickFirer.addListener(PickListener listener)
Add pick event listener
|