From 1d7fd98c790f282910a385c5b3ec98147af65753 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Tue, 1 Aug 2023 16:33:45 +0200
Subject: [PATCH] Fix theme change if no file tree is shown

---
 app/assets/javascripts/editor/editor.js.erb | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 4233b5ec..5d8b539f 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -422,9 +422,13 @@ var CodeOceanEditor = {
             this.toggleButtonStates();
         }.bind(this));
         $(document).on('theme:change', function(event) {
-            const newColorScheme = event.detail.currentTheme;
-            // Update the JStree theme
-            filesInstance.jstree(true).set_theme(newColorScheme === "dark" ? "default-dark" : "default");
+            const jsTree = filesInstance?.jstree(true);
+
+            if (jsTree) {
+                const newColorScheme = event.detail.currentTheme;
+                // Update the JStree theme
+                jsTree?.set_theme(newColorScheme === "dark" ? "default-dark" : "default");
+            }
         });
     },