fix #65

Cvolton · Dec 28, 2024 · 73766af · 73766af
1 parent 46222ab
commit 73766af
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/hooks/GameLevelManager.cpp b/src/hooks/GameLevelManager.cpp
@@ -225,6 +225,12 @@ class BI_DLL $modify(GameLevelManager) {
         m_fields->skipSavedFilter = false;
     }
 
+    void deleteLevel(GJGameLevel* level) {
+        Mod::get()->setSavedValue<bool>("user_search_dirty", true);
+
+        GameLevelManager::deleteLevel(level);
+    }
+
     /**
      * BetterErrors:tm:
      */