diff --git a/apps/desktop/src/components/editor/EditorSettingsDialog.vue b/apps/desktop/src/components/editor/EditorSettingsDialog.vue index a6742ba4e1..2ace16e262 100644 --- a/apps/desktop/src/components/editor/EditorSettingsDialog.vue +++ b/apps/desktop/src/components/editor/EditorSettingsDialog.vue @@ -47,6 +47,10 @@ import { type CustomTheme, type ClickTableNavigationTarget, type SqlCompletionTriggerMode, + SIDEBAR_INDENT_MIN, + SIDEBAR_INDENT_MAX, + SIDEBAR_FONT_SIZE_MIN, + SIDEBAR_FONT_SIZE_MAX, } from "@/stores/settingsStore"; import { createRunStatementButtonDom, loadEditorTheme, editorFontTheme } from "@/lib/editor/editorThemes"; import { orderAiConfigsForDisplay } from "@/lib/ai/aiConfigOrdering"; @@ -406,6 +410,8 @@ const editUpdateNotificationsEnabled = ref(settingsStore.editorSettings.updateNo const editSidebarHiddenTablePrefixes = ref(settingsStore.editorSettings.sidebarHiddenTablePrefixes.join("\n")); const editSidebarObjectInfoMode = ref(settingsStore.editorSettings.sidebarObjectInfoMode); const editSidebarAllowHorizontalScroll = ref(settingsStore.editorSettings.sidebarAllowHorizontalScroll); +const editSidebarIndent = ref(settingsStore.editorSettings.sidebarIndent); +const editSidebarFontSize = ref(settingsStore.editorSettings.sidebarFontSize); const editExportBatchSize = ref(settingsStore.editorSettings.exportBatchSize); const editGlobalDateTimeDisplayFormat = ref(settingsStore.editorSettings.globalDateTimeDisplayFormat); const editGlobalDateTimeExportFormat = ref(settingsStore.editorSettings.globalDateTimeExportFormat); @@ -526,6 +532,8 @@ function currentEditorSettingsDraft(): EditorSettingsDraft { updateNotificationsEnabled: editUpdateNotificationsEnabled.value, sidebarObjectInfoMode: editSidebarObjectInfoMode.value, sidebarAllowHorizontalScroll: editSidebarAllowHorizontalScroll.value, + sidebarIndent: editSidebarIndent.value, + sidebarFontSize: editSidebarFontSize.value, sidebarHiddenTablePrefixes: normalizeSidebarHiddenTablePrefixes(editSidebarHiddenTablePrefixes.value), exportBatchSize: editExportBatchSize.value, globalDateTimeDisplayFormat: editGlobalDateTimeDisplayFormat.value, @@ -808,6 +816,8 @@ function syncEditorSettingsDraftFromStore() { editSidebarHiddenTablePrefixes.value = settingsStore.editorSettings.sidebarHiddenTablePrefixes.join("\n"); editSidebarObjectInfoMode.value = settingsStore.editorSettings.sidebarObjectInfoMode; editSidebarAllowHorizontalScroll.value = settingsStore.editorSettings.sidebarAllowHorizontalScroll; + editSidebarIndent.value = settingsStore.editorSettings.sidebarIndent; + editSidebarFontSize.value = settingsStore.editorSettings.sidebarFontSize; editExportBatchSize.value = settingsStore.editorSettings.exportBatchSize; editGlobalDateTimeDisplayFormat.value = settingsStore.editorSettings.globalDateTimeDisplayFormat; editGlobalDateTimeExportFormat.value = settingsStore.editorSettings.globalDateTimeExportFormat; @@ -1023,6 +1033,8 @@ function resetDefaultsForTab(tab: SettingsCategory) { editUpdateNotificationsEnabled.value = DEFAULT_EDITOR_SETTINGS.updateNotificationsEnabled; editSidebarObjectInfoMode.value = DEFAULT_EDITOR_SETTINGS.sidebarObjectInfoMode; editSidebarAllowHorizontalScroll.value = DEFAULT_EDITOR_SETTINGS.sidebarAllowHorizontalScroll; + editSidebarIndent.value = DEFAULT_EDITOR_SETTINGS.sidebarIndent; + editSidebarFontSize.value = DEFAULT_EDITOR_SETTINGS.sidebarFontSize; editSidebarHiddenTablePrefixes.value = DEFAULT_EDITOR_SETTINGS.sidebarHiddenTablePrefixes.join("\n"); editToolbarItems.value = { ...DEFAULT_EDITOR_SETTINGS.toolbarItems }; } else if (tab === "data") { @@ -1132,6 +1144,8 @@ function resetAllDefaults() { editUpdateNotificationsEnabled.value = DEFAULT_EDITOR_SETTINGS.updateNotificationsEnabled; editSidebarObjectInfoMode.value = DEFAULT_EDITOR_SETTINGS.sidebarObjectInfoMode; editSidebarAllowHorizontalScroll.value = DEFAULT_EDITOR_SETTINGS.sidebarAllowHorizontalScroll; + editSidebarIndent.value = DEFAULT_EDITOR_SETTINGS.sidebarIndent; + editSidebarFontSize.value = DEFAULT_EDITOR_SETTINGS.sidebarFontSize; editSidebarHiddenTablePrefixes.value = DEFAULT_EDITOR_SETTINGS.sidebarHiddenTablePrefixes.join("\n"); editExportBatchSize.value = DEFAULT_EDITOR_SETTINGS.exportBatchSize; editGlobalDateTimeDisplayFormat.value = DEFAULT_EDITOR_SETTINGS.globalDateTimeDisplayFormat; @@ -4751,6 +4765,52 @@ onUnmounted(() => { +
+
+ +

+ {{ t("settings.sidebarIndentDescription") }} +

+
+ +
+
+
+ +

+ {{ t("settings.sidebarFontSizeDescription") }} +

+
+ +