From 008b43ae7a30c8f62431a94662210dc2966ecea2 Mon Sep 17 00:00:00 2001
From: Hermann <blumh@ethz.ch>
Date: Sun, 2 Sep 2018 13:42:54 +0200
Subject: [PATCH] set scroll to auto to remove unneccessary scrollbars on linux
 and windows

---
 src/views/tableView.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/views/tableView.js b/src/views/tableView.js
index c03dc46..003d299 100644
--- a/src/views/tableView.js
+++ b/src/views/tableView.js
@@ -173,7 +173,7 @@ export default class TableView {
       this.filters && m('div', {
         style: {
           height: '40px',
-          'overflow-x': 'scroll',
+          'overflow-x': 'auto',
           'white-space': 'nowrap',
           padding: '0px 5px',
         },
-- 
GitLab