Return if editor is not defined

Fixes CODEOCEAN-FRONTEND-3A
2023-09-14 12:17:36 +02:00
parent 51fc44c2da
commit d224a099e0
1 changed files with 4 additions and 1 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@ -1011,7 +1011,10 @@ var CodeOceanEditor = {
    },

    applyChanges: function (delta, active_file) {
-        const editor = this.editor_for_file.get(active_file.id)
+        const editor = this.editor_for_file.get(active_file.id);
+        if (editor === undefined) {
+            return;
+        }
        editor.session.doc.applyDeltas([delta]);
    },