some cleanup in modules, fixes in tooltip, uiwidget warnings, disable map saving for a while

2025-10-14 03:24:55 +02:00 · 2012-02-05 20:42:35 -02:00
parent 0471785d30
commit a55e138002
27 changed files with 180 additions and 114 deletions
--- a/modules/core_lib/core_lib.otmod
+++ b/modules/core_lib/core_lib.otmod
@@ -20,3 +20,6 @@ Module
    require 'settings'
    require 'hotkeys'
    require 'cursor'
+
+  onUnload: |
+    rootWidget = nil