From 68681020715486bb6e2452065faac95427d2ae96 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Wed, 11 Nov 2020 18:11:00 +0100
Subject: [PATCH] Use full name for selectFileInJsTree in order to prevent bind
 referring to undefined

---
 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 82bd8bd4..bf48ae0e 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -136,7 +136,7 @@ var CodeOceanEditor = {
             filetree.jstree("deselect_all");
             filetree.jstree().select_node(file_id);
         } else {
-            setTimeout(this.selectFileInJsTree.bind(null, filetree, file_id), 250);
+            setTimeout(CodeOceanEditor.selectFileInJsTree.bind(null, filetree, file_id), 250);
         }
     },