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()