Don't open a level that's already open

goofans · Dec 22, 2023 · c0e7998 · c0e7998
1 parent 423e9c9
commit c0e7998
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/java/com/WooGLEFX/Engine/Main.java b/src/main/java/com/WooGLEFX/Engine/Main.java
@@ -397,6 +397,13 @@ public static void openLevel(String levelName, double version) {
         if (levelName == null || levelName.equals("")) {
             return;
         }
+        // Don't open a level if it's already open
+        for (Tab tab : levelSelectPane.getTabs()) {
+            if (tab.getText().equals(levelName)) {
+                levelSelectPane.getSelectionModel().select(tab);
+                return;
+            }
+        }
         failedResources.clear();
 
         try {