public interface ProjectSettings
| Modifier and Type | Method and Description |
|---|---|
void |
addProjectSettingsListener(ProjectSettingsListener listener)
Adds a
ProjectSettingsListener to be notified of changes. |
java.io.File |
getArchDirectory()
Returns the archetype directory.
|
java.io.File |
getCollectedDirectory()
Returns the directory where collected archetypes are stored.
|
java.lang.String |
getConfigSourceName()
Returns the name of the configuration source.
|
java.io.File |
getConfigurationDirectory()
Returns the configuration directory which is used to load configuration
information like types.xml.
|
java.lang.String |
getImageSet()
Returns the image set.
|
java.io.File |
getMapsDirectory()
Returns the default maps directory.
|
java.io.File |
getMediaDirectory()
Returns the media directory.
|
java.io.File |
getPickmapDir()
Returns the pickmap directory.
|
java.lang.String |
getUserName()
Returns the user name.
|
void |
removeProjectSettingsListener(ProjectSettingsListener listener)
Removes a
ProjectSettingsListener to be notified of changes. |
boolean |
saveIndices()
Returns whether indices should be saved to disk.
|
void |
setArchDirectory(java.io.File archDirectory)
Sets the archetype directory.
|
void |
setConfigSourceName(java.lang.String configSourceName)
Sets the name of the configuration source.
|
void |
setImageSet(java.lang.String imageSet)
Sets the image set.
|
void |
setMapsDirectory(java.io.File mapsDirectory)
Sets the default maps directory.
|
void |
setMediaDirectory(java.io.File mediaDirectory)
Sets the media directory.
|
void |
setUserName(java.lang.String userName)
Sets the user name.
|
void addProjectSettingsListener(@NotNull
ProjectSettingsListener listener)
ProjectSettingsListener to be notified of changes.listener - the listenervoid removeProjectSettingsListener(@NotNull
ProjectSettingsListener listener)
ProjectSettingsListener to be notified of changes.listener - the listener@NotNull java.io.File getArchDirectory()
void setArchDirectory(@NotNull
java.io.File archDirectory)
archDirectory - the archetype directory@NotNull java.io.File getMapsDirectory()
void setMapsDirectory(@NotNull
java.io.File mapsDirectory)
mapsDirectory - the default maps directory@NotNull java.lang.String getConfigSourceName()
void setConfigSourceName(@NotNull
java.lang.String configSourceName)
configSourceName - the name@NotNull java.io.File getPickmapDir()
@NotNull java.io.File getMediaDirectory()
void setMediaDirectory(@NotNull
java.io.File mediaDirectory)
mediaDirectory - the media directory@NotNull java.lang.String getImageSet()
void setImageSet(@NotNull
java.lang.String imageSet)
imageSet - the image set@NotNull java.io.File getConfigurationDirectory()
@NotNull java.io.File getCollectedDirectory()
@NotNull java.lang.String getUserName()
void setUserName(@NotNull
java.lang.String userName)
userName - the user nameboolean saveIndices()