fixed an IDE refreshing glitch when using a configuration dictionary that loads a default project

Author: jmoenig

HISTORY.md

@@ -4,6 +4,7 @@
 
 ### 2025-09-16
 * added experimental editor configuration for German middle schools (imbw)
+* gui: fixed an IDE refreshing glitch when using a configuration dictionary that loads a default project
 
 ### 2025-09-15
 * German and Catalan translation update

snap.html

@@ -20,7 +20,7 @@
         <script src="src/threads.js?version=2025-08-29"></script>
         <script src="src/objects.js?version=2025-09-08"></script>
         <script src="src/scenes.js?version=2024-05-28"></script>
-        <script src="src/gui.js?version=2025-09-14"></script>
+        <script src="src/gui.js?version=2025-09-16"></script>
         <script src="src/paint.js?version=2023-05-24"></script>
         <script src="src/lists.js?version=2025-06-12"></script>
         <script src="src/byob.js?version=2025-05-13"></script>

src/gui.js

@@ -87,7 +87,7 @@ HatBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2025-September-14';
+modules.gui = '2025-September-16';
 
 // Declarations