configurable auto refresh inteval

This commit is contained in:
Jan Prochazka
2022-06-30 08:57:20 +02:00
parent 179bd1f6b1
commit cc8438ef66
2 changed files with 9 additions and 2 deletions

View File

@@ -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;