| | |
|---|
| | | }
|
|---|
| | |
|
|---|
| | | /**
|
|---|
| | | * Override the specified key with the specified value.
|
|---|
| | | *
|
|---|
| | | * @param key
|
|---|
| | | * @param value
|
|---|
| | | */
|
|---|
| | | public void overrideSetting(String key, boolean value) {
|
|---|
| | | overrides.put(key, "" + value);
|
|---|
| | | }
|
|---|
| | |
|
|---|
| | | /**
|
|---|
| | | * Updates the values for the specified keys and persists the entire
|
|---|
| | | * configuration file.
|
|---|
| | | *
|
|---|
| | |
|---|
| | | * @return true if successful
|
|---|
| | | */
|
|---|
| | | public abstract boolean saveSettings(Map<String, String> updatedSettings);
|
|---|
| | |
|
|---|
| | | /**
|
|---|
| | | * Merge all settings from the settings parameter into this instance.
|
|---|
| | | *
|
|---|
| | | * @param settings
|
|---|
| | | */
|
|---|
| | | public void merge(IStoredSettings settings) {
|
|---|
| | | getSettings().putAll(settings.getSettings());
|
|---|
| | | }
|
|---|
| | | } |
|---|
