public interface EditorSettings
| Modifier and Type | Field and Description |
|---|---|
static boolean |
SHOW_MAIN_TOOLBAR_DEFAULT
Default value for whether the main window's toolbar is shown.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addEditorSettingsListener(@NotNull EditorSettingsListener listener)
Adds a
EditorSettingsListener to be notified of changes. |
@NotNull java.io.File |
getArchDirectoryDefault()
Returns the default archetype directory.
|
@NotNull java.lang.String |
getImageSetDefault()
Returns the default image set.
|
java.lang.String |
getKey(@NotNull EditorSettingsKey key,
@NotNull java.lang.String defaultValue)
Returns a settings value.
|
@NotNull java.io.File |
getMapsDirectoryDefault()
Returns the default maps directory.
|
@NotNull java.io.File |
getMediaDirectoryDefault()
Returns the default media directory.
|
@NotNull java.lang.String |
getUserNameDefault()
Returns the default user name.
|
boolean |
hasImageSet()
Returns whether an image set is used.
|
boolean |
hasMediaDirectory()
Returns whether a media directory is used.
|
boolean |
isShowMainToolbar()
Returns whether the main toolbar should be shown.
|
void |
removeEditorSettingsListener(@NotNull EditorSettingsListener listener)
Removes a
EditorSettingsListener to be notified of changes. |
void |
setKey(@NotNull EditorSettingsKey key,
@NotNull java.lang.String value)
Saves a settings value.
|
void |
setShowMainToolbar(boolean selected)
Sets whether the main toolbar should be shown.
|
static final boolean SHOW_MAIN_TOOLBAR_DEFAULT
void addEditorSettingsListener(@NotNull
@NotNull EditorSettingsListener listener)
EditorSettingsListener to be notified of changes.listener - the listenervoid removeEditorSettingsListener(@NotNull
@NotNull EditorSettingsListener listener)
EditorSettingsListener to be notified of changes.listener - the listener@NotNull @NotNull java.io.File getArchDirectoryDefault()
@NotNull @NotNull java.io.File getMapsDirectoryDefault()
boolean hasMediaDirectory()
@NotNull @NotNull java.io.File getMediaDirectoryDefault()
boolean hasImageSet()
@NotNull @NotNull java.lang.String getImageSetDefault()
boolean isShowMainToolbar()
void setShowMainToolbar(boolean selected)
selected - whether the main toolbar should be shown@NotNull @NotNull java.lang.String getUserNameDefault()
java.lang.String getKey(@NotNull
@NotNull EditorSettingsKey key,
@NotNull
@NotNull java.lang.String defaultValue)
key - the settings keydefaultValue - the default value if the key is unsetvoid setKey(@NotNull
@NotNull EditorSettingsKey key,
@NotNull
@NotNull java.lang.String value)
key - the settings keyvalue - the settings value