From 021487d8e182a565de7918b3914aefa725dc49bd Mon Sep 17 00:00:00 2001
From: bryan brancotte <bryan.brancotte@pasteur.fr>
Date: Tue, 18 May 2021 17:44:09 +0200
Subject: [PATCH] Save/re-use heigh requested by the user

---
 js/index.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/index.js b/js/index.js
index 10e698a1..933ed6fe 100644
--- a/js/index.js
+++ b/js/index.js
@@ -65,6 +65,7 @@ window.onload = function() {
         browser.current_branch(branch);
     }
     var treeElement = document.getElementById("tree-and-controls");
+    treeElement.style.height = localStorage.getItem("tree-and-controls-height");
     var resizer = document.getElementById("handle");
     resizer.addEventListener("mousedown", initDrag, false);
     var startY, startHeight;
@@ -83,6 +84,7 @@ window.onload = function() {
     function stopDrag(e) {
         document.documentElement.removeEventListener("mousemove", doDrag, false);
         document.documentElement.removeEventListener("mouseup", stopDrag, false);
+        localStorage.setItem("tree-and-controls-height", treeElement.style.height);
     }
     $("input[name='show-detail']").prop("checked" , (localStorage.getItem("show-detail")||"true") == "true");
     $("input[name='show-community-usage']").prop("checked" , (localStorage.getItem("show-community-usage")||"false") == "true");