public interface MapExplorerSupport extends PlatformProvider
PlatformProvider.MapInfo
PROPERTY_MINIMUM_WORLDPAINTER_VERSION, PROPERTY_NAME, PROPERTY_UUIDS, PROPERTY_VERSION
Modifier and Type | Method and Description |
---|---|
Node |
getMapNode(java.io.File mapDir) |
getDefaultExportDir, getDefaultExportSettings, getExporter, getExportSettingsEditor, getMapRecognizer, identifyMap, isCompatible, selectBackupDir
getMinimumWorldPainterVersion, getName, getProperties, getUUIDs, getVersion, init
Node getMapNode(java.io.File mapDir)