From fc334ab4ac1fac67411bc6d73076c1fc35d39c25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Mierzwa?= <l.mierzwa@gmail.com>
Date: Fri, 15 Mar 2019 14:42:28 +0000
Subject: [PATCH] feat(ui): add settings for controlling navbar autohide

This allows to control if the navbar should hide on idle or not
---
 ui/src/Components/NavBar/index.js |  6 +++++-
 ui/src/Stores/Settings.js         | 13 +++++++++++++
 2 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/ui/src/Components/NavBar/index.js b/ui/src/Components/NavBar/index.js
index 910dd78e1..eafafdd4a 100644
--- a/ui/src/Components/NavBar/index.js
+++ b/ui/src/Components/NavBar/index.js
@@ -103,7 +103,11 @@ const NavBar = observer(
       return (
         <IdleTimer
           onActive={this.activityStatus.setActive}
-          onIdle={this.activityStatus.setIdle}
+          onIdle={() => {
+            if (settingsStore.filterBarConfig.config.autohide) {
+              this.activityStatus.setIdle();
+            }
+          }}
           timeout={
             window.innerWidth >= 768 ? DesktopIdleTimeout : MobileIdleTimeout
           }
diff --git a/ui/src/Stores/Settings.js b/ui/src/Stores/Settings.js
index 9dc47b0ef..4c13364f4 100644
--- a/ui/src/Stores/Settings.js
+++ b/ui/src/Stores/Settings.js
@@ -70,6 +70,18 @@ class GridConfig {
   );
 }
 
+class FilterBarConfig {
+  config = localStored(
+    "filterBarConfig",
+    {
+      autohide: true
+    },
+    {
+      delay: 100
+    }
+  );
+}
+
 class Settings {
   constructor() {
     this.savedFilters = new SavedFilters();
@@ -77,6 +89,7 @@ class Settings {
     this.alertGroupConfig = new AlertGroupConfig();
     this.gridConfig = new GridConfig();
     this.silenceFormConfig = new SilenceFormConfig();
+    this.filterBarConfig = new FilterBarConfig();
   }
 }