From 94891fa7f60727d2f62b289b3b6054aa86e39d04 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <MrSerth@users.noreply.github.com>
Date: Mon, 27 Jun 2022 11:09:18 +0200
Subject: [PATCH] Always use full file path for CodeOceanEditor.active_file

---
 app/assets/javascripts/editor/editor.js.erb | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 4437d88a..50035ba4 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -366,11 +366,9 @@ var CodeOceanEditor = {
         }
         filesInstance.jstree(filesInstance.data('entries'));
         filesInstance.on('click', 'li.jstree-leaf > a', function (event) {
-            this.setActiveFile(
-                $(event.target).parent().text(),
-                parseInt($(event.target).parent().attr('id'))
-            );
-            var frame = $('[data-file-id="' + this.active_file.id + '"]').parent();
+            const file_id = parseInt($(event.target).parent().attr('id'));
+            const frame = $('[data-file-id="' + file_id + '"]').parent();
+            this.setActiveFile(frame.data('filename'), file_id);
             this.showFrame(frame);
             this.toggleButtonStates();
         }.bind(this));