From dbcc7fb4523a0ae2aa04920a2a13cd55f9cd5f23 Mon Sep 17 00:00:00 2001
From: Nils Windisch <windisch@sub.uni-goettingen.de>
Date: Thu, 11 Mar 2021 10:37:27 +0100
Subject: [PATCH 1/2] style: un-hide scroll bar in text panel

---
 src/css/global.scss | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/css/global.scss b/src/css/global.scss
index 1ac5005..ce1a11a 100644
--- a/src/css/global.scss
+++ b/src/css/global.scss
@@ -50,10 +50,6 @@ body {
   scrollbar-width: none;
 }
 
-.scroll-panel::-webkit-scrollbar {
-  display: none;
-}
-
 .panels-target > * {
   border-right: 1px solid #ddd !important;
   flex: auto;
-- 
GitLab


From 119ee002d5f765c1ad514856b275a821d13eb445 Mon Sep 17 00:00:00 2001
From: ManikanthDindigala <dindigala@sub.uni-goettingen.de>
Date: Fri, 12 Mar 2021 10:41:07 +0100
Subject: [PATCH 2/2] style: un-hide scroll bar in tree panel

---
 src/css/tree.scss | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/css/tree.scss b/src/css/tree.scss
index 87891b5..d7f1c21 100644
--- a/src/css/tree.scss
+++ b/src/css/tree.scss
@@ -68,7 +68,3 @@
     color: $light;
   }
 }
-
-.view-tree::-webkit-scrollbar {
-  display: none;
-}
-- 
GitLab