From c1281384d85ab250a5a07d1eebad873798873d20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jens=20M=C3=B6nig?= <jens@moenig.org>
Date: Tue, 15 Mar 2022 15:58:59 +0100
Subject: [PATCH] Update gui.js

---
 src/gui.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui.js b/src/gui.js
index db42380e..e115745b 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -5939,7 +5939,7 @@ IDE_Morph.prototype.switchToScene = function (
     if (!scene || !scene.stage) {
         return;
     }
-    this.siblings().filter(morph => morph.key !== 'Dev-Warning').forEach(
+    this.siblings().forEach(
         morph => morph.destroy()
     );
     this.scene.captureGlobalSettings();