From 2200fa427ebe491329dc50ad157bf2a658d5bf2d Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Tue, 19 Sep 2023 22:39:54 +0200
Subject: [PATCH] Gracely handle missing `editor_for_file`

Fixes CODEOCEAN-FRONTEND-3H
---
 app/assets/javascripts/editor/editor.js.erb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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