From 0f61a46764f11ebad60a4239a2746b2c18635137 Mon Sep 17 00:00:00 2001
From: Maximilian Grundke <maximiliangrundke@googlemail.com>
Date: Thu, 10 Dec 2015 15:54:51 +0100
Subject: [PATCH] Select the same file if possible

---
 app/assets/javascripts/submission_statistics.js | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/app/assets/javascripts/submission_statistics.js b/app/assets/javascripts/submission_statistics.js
index 9f74ed7a..75fe42cd 100644
--- a/app/assets/javascripts/submission_statistics.js
+++ b/app/assets/javascripts/submission_statistics.js
@@ -19,7 +19,9 @@ $(function() {
     session.setUseWrapMode(true);
 
     showFileTree(currentSubmission);
-    $(fileTrees[currentSubmission]).jstree().select_node(active_file.file_id);
+    filetree = $(fileTrees[currentSubmission])
+    filetree.jstree("deselect_all");
+    filetree.jstree().select_node(active_file.file_id);
   };
 
   var initializeFileTree = function() {
@@ -76,7 +78,13 @@ $(function() {
     slider.on('change', function(event) {
       currentSubmission = slider.val();
       var currentFiles = files[currentSubmission];
-      active_file = currentFiles[0];
+      var fileIndex = 0;
+      _.each(currentFiles, function(file, index) {
+        if (file.name === active_file.name) {
+          fileIndex = index;
+        }
+      })
+      active_file = currentFiles[fileIndex];
       showActiveFile();
     });