When map is renamed, also rename the map data directory

TechnicJelle · Sep 3, 2024 · 7696ae5 · 7696ae5
1 parent e5864d5
commit 7696ae5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/lib/config_tree.dart b/lib/config_tree.dart
@@ -71,6 +71,16 @@ class _ConfigTreeState extends ConsumerState<ConfigTree> {
                 if (destination != null) {
                   removeMap(File(moveEvent.path));
                   addMap(File(destination));
+
+                  final String prevMapID = p.basenameWithoutExtension(moveEvent.path);
+                  final String nextMapID = p.basenameWithoutExtension(destination);
+
+                  //Also rename the map data directory:
+                  final Directory mapDataDir =
+                      Directory(p.join(projectPath, "web", "maps", prevMapID));
+                  if (mapDataDir.existsSync()) {
+                    mapDataDir.rename(p.join(projectPath, "web", "maps", nextMapID));
+                  }
                 } else {
                   //could not get destination, so we nuke everything and re-add it all
                   maps.clear();