Merge pull request #104 from DecwLK/resetFileOnImport

Set file path to null after import.
DecwLK · Feb 12, 2024 · d79269b · d79269b
2 parents 8bf059d + a1e392c
commit d79269b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/gecko/application/GeckoIOManager.java b/src/main/java/org/gecko/application/GeckoIOManager.java
@@ -105,6 +105,7 @@ public void importAutomatonFile(File file) {
         }
         Gecko newGecko = new Gecko(gvm);
         geckoManager.setGecko(newGecko);
+        this.file = null;
     }
 
     /**