Use full name for selectFileInJsTree in order to prevent bind referring to undefined

This commit is contained in:
Sebastian Serth
2020-11-11 18:11:00 +01:00
parent 804a22e680
commit 6868102071

View File

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