public interface MapExplorerSupport extends PlatformProvider
PlatformProvider.MapInfoPROPERTY_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, selectBackupDirgetMinimumWorldPainterVersion, getName, getProperties, getUUIDs, getVersion, initNode getMapNode(java.io.File mapDir)