![]() |
Gridarta Editor
|
Interface for listeners interested in ProjectSettings events. More...
Public Member Functions | |
void | mapsDirectoryChanged (@NotNull File mapsDirectory) |
Called whenever the maps directory has changed. More... | |
Interface for listeners interested in ProjectSettings events.
Definition at line 30 of file ProjectSettingsListener.java.
void net.sf.gridarta.model.settings.ProjectSettingsListener.mapsDirectoryChanged | ( | @NotNull File | mapsDirectory | ) |
Called whenever the maps directory has changed.
mapsDirectory | the maps directory |