public interface ProjectSettingsListener
extends java.util.EventListener
ProjectSettings
events.Modifier and Type | Method and Description |
---|---|
void |
mapsDirectoryChanged(@NotNull java.io.File mapsDirectory)
Called whenever the maps directory has changed.
|