From 84168d1d75460acc2c844bfece7d85f0c977e74c Mon Sep 17 00:00:00 2001 From: Fabio Di Stasio Date: Thu, 15 Sep 2022 19:03:18 +0200 Subject: [PATCH] fix: editor font size doesn't change on new tabs, fixes #442 --- src/renderer/components/QueryEditor.vue | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/renderer/components/QueryEditor.vue b/src/renderer/components/QueryEditor.vue index 5db71321..ac0fc29d 100644 --- a/src/renderer/components/QueryEditor.vue +++ b/src/renderer/components/QueryEditor.vue @@ -34,6 +34,12 @@ const { lineWrap } = storeToRefs(settingsStore); +const sizes = { + small: '12px', + medium: '14px', + large: '16px' +}; + const props = defineProps({ modelValue: String, workspace: Object as Prop, @@ -240,12 +246,6 @@ watch(editorTheme, () => { }); watch(editorFontSize, () => { - const sizes = { - small: '12px', - medium: '14px', - large: '16px' - }; - if (editor.value) { editor.value.setOptions({ fontSize: sizes[editorFontSize.value] @@ -305,7 +305,8 @@ onMounted(() => { enableBasicAutocompletion: true, wrap: lineWrap.value, enableSnippets: true, - enableLiveAutocompletion: autoComplete.value + enableLiveAutocompletion: autoComplete.value, + fontSize: sizes[editorFontSize.value] }); if (!baseCompleter.value.length)