Package | Description |
---|---|
grammarscope.grapher.widget |
Modifier and Type | Method and Description |
---|---|
private boolean |
View.changeSetting(Settings.Setting setting,
java.lang.Object value,
View.ToDos toDos)
Change setting
|
private void |
View.refresh(View.ToDos toDos)
Refresh
|