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