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); } },