From 1050760c1d5f5d473693f1710781fc08035e744a Mon Sep 17 00:00:00 2001 From: Jan Prochazka Date: Sat, 26 Feb 2022 20:49:18 +0100 Subject: [PATCH] change editor theme --- .../src/forms/FormFieldTemplateLarge.svelte | 2 +- packages/web/src/query/AceEditor.svelte | 86 ++++++++++++++++++- .../web/src/settings/SettingsModal.svelte | 46 +++++++++- packages/web/src/stores.ts | 3 + 4 files changed, 131 insertions(+), 6 deletions(-) diff --git a/packages/web/src/forms/FormFieldTemplateLarge.svelte b/packages/web/src/forms/FormFieldTemplateLarge.svelte index 7186e88df..6976375cc 100644 --- a/packages/web/src/forms/FormFieldTemplateLarge.svelte +++ b/packages/web/src/forms/FormFieldTemplateLarge.svelte @@ -1,7 +1,7 @@ diff --git a/packages/web/src/query/AceEditor.svelte b/packages/web/src/query/AceEditor.svelte index abde0df45..e7de06f5b 100644 --- a/packages/web/src/query/AceEditor.svelte +++ b/packages/web/src/query/AceEditor.svelte @@ -1,3 +1,44 @@ + + @@ -82,6 +103,22 @@ {/each} + +
Editor theme
+ + + ({ label: theme, value: theme }))} + value={$currentEditorTheme} + on:change={e => ($currentEditorTheme = e.detail)} + /> + + +
+ +
@@ -105,4 +142,11 @@ overflow-x: scroll; display: flex; } + + .editor { + position: relative; + height: 200px; + width: 400px; + margin-left: var(--dim-large-form-margin); + } diff --git a/packages/web/src/stores.ts b/packages/web/src/stores.ts index 5b756b1c6..0ae74b6d7 100644 --- a/packages/web/src/stores.ts +++ b/packages/web/src/stores.ts @@ -56,6 +56,9 @@ export const commands = writable({}); export const currentTheme = getElectron() ? writableSettingsValue('theme-light', 'currentTheme') : writableWithStorage('theme-light', 'currentTheme'); +export const currentEditorTheme = getElectron() + ? writableSettingsValue(null, 'currentEditorTheme') + : writableWithStorage(null, 'currentEditorTheme'); export const activeTabId = derived([openedTabs], ([$openedTabs]) => $openedTabs.find(x => x.selected)?.tabid); export const activeTab = derived([openedTabs], ([$openedTabs]) => $openedTabs.find(x => x.selected)); export const recentDatabases = writableWithStorage([], 'recentDatabases');