public class EditorSettings
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
EditorSettings.Setting |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
get(EditorSettings.Setting key) |
void |
parseAndUpdate(java.lang.String json) |
void |
resetToDefaults() |
java.lang.String |
toJSON() |
public void parseAndUpdate(java.lang.String json)
public java.lang.Object get(EditorSettings.Setting key)
public void resetToDefaults()
public java.lang.String toJSON()