From cc8438ef66f8ab29a0adc6abb9283dee9e88c1b3 Mon Sep 17 00:00:00 2001
From: Jan Prochazka <jan.prochazka@gmail.com>
Date: Thu, 30 Jun 2022 08:57:20 +0200
Subject: [PATCH] configurable auto refresh inteval

---
 packages/web/src/settings/SettingsModal.svelte | 8 +++++++-
 packages/web/src/tabs/TableDataTab.svelte      | 3 ++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/packages/web/src/settings/SettingsModal.svelte b/packages/web/src/settings/SettingsModal.svelte
index 2006f468b..8c0dd5d4b 100644
--- a/packages/web/src/settings/SettingsModal.svelte
+++ b/packages/web/src/settings/SettingsModal.svelte
@@ -91,6 +91,12 @@ ORDER BY
 
           <FormCheckboxField name="dataGrid.thousandsSeparator" label="Use thousands separator for numbers" />
 
+          <FormTextField
+            name="dataGrid.defaultAutoRefreshInterval"
+            label="Default grid auto refresh interval in seconds"
+            defaultValue="10"
+          />
+
           <div class="heading">Connection</div>
           <FormCheckboxField
             name="connection.autoRefresh"
@@ -99,7 +105,7 @@ ORDER BY
           />
           <FormTextField
             name="connection.autoRefreshInterval"
-            label="Interval between automatic refreshes in seconds"
+            label="Interval between automatic DB structure reloads in seconds"
             defaultValue="30"
             disabled={values['connection.autoRefresh'] === false}
           />
diff --git a/packages/web/src/tabs/TableDataTab.svelte b/packages/web/src/tabs/TableDataTab.svelte
index facb17718..82835b990 100644
--- a/packages/web/src/tabs/TableDataTab.svelte
+++ b/packages/web/src/tabs/TableDataTab.svelte
@@ -98,6 +98,7 @@
   import ToolStripCommandButton from '../buttons/ToolStripCommandButton.svelte';
   import ToolStripExportButton, { createQuickExportHandlerRef } from '../buttons/ToolStripExportButton.svelte';
   import ToolStripCommandSplitButton from '../buttons/ToolStripCommandSplitButton.svelte';
+  import { getIntSettingsValue } from '../settings/settingsTools';
 
   export let tabid;
   export let conid;
@@ -111,7 +112,7 @@
   const cache = writable(createGridCache());
   const dbinfo = useDatabaseInfo({ conid, database });
 
-  let autoRefreshInterval = 10;
+  let autoRefreshInterval = getIntSettingsValue('dataGrid.defaultAutoRefreshInterval', 10, 1, 3600);
   let autoRefreshStarted = false;
   let autoRefreshTimer = null;