Gracely handle missing editor_for_file

Fixes CODEOCEAN-FRONTEND-3H
2023-09-19 22:39:54 +02:00
parent d01a3b7bac
commit 2200fa427e
1 changed files with 1 additions and 1 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@ -1011,7 +1011,7 @@ 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;
        }