From 4bf2171fee1fb03ba4f3d9df7d5498690487f0b6 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Sat, 23 Jan 2021 12:19:15 +0100
Subject: [PATCH] Prevent filetree from disappearing when clicking outside

---
 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 841c063e..28095b2e 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -328,7 +328,7 @@ var CodeOceanEditor = {
 
     initializeFileTree: function () {
         $('#files').jstree($('#files').data('entries'));
-        $('#files').on('click', 'li.jstree-leaf', function (event) {
+        $('#files').on('click', 'li.jstree-leaf > a', function (event) {
             this.setActiveFile(
                 $(event.target).parent().text(),
                 parseInt($(event.target).parent().attr('id'))