From d224a099e0f41c78224d8bac70446edd4df52574 Mon Sep 17 00:00:00 2001
From: kiragrammel <kira.grammel@student.hpi.de>
Date: Thu, 14 Sep 2023 12:17:36 +0200
Subject: [PATCH] Return if editor is not defined

Fixes CODEOCEAN-FRONTEND-3A
---
 app/assets/javascripts/editor/editor.js.erb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index d50f663a..52b9c7fb 100644
--- 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]);
     },