diff --git a/apps/desktop/src/components/editor/EditorSettingsDialog.vue b/apps/desktop/src/components/editor/EditorSettingsDialog.vue index 64b5d3815..194df4202 100644 --- a/apps/desktop/src/components/editor/EditorSettingsDialog.vue +++ b/apps/desktop/src/components/editor/EditorSettingsDialog.vue @@ -24,6 +24,7 @@ import { loadEditorTheme, editorFontTheme } from "@/lib/editorThemes"; import { isTauriRuntime } from "@/lib/tauriRuntime"; import { aiTestConnection } from "@/lib/api"; import { eventToShortcut } from "@/lib/keyboardShortcuts"; +import { MAX_RESULT_PAGE_SIZE, MIN_RESULT_PAGE_SIZE, normalizeResultPageSize } from "@/lib/paginationPageSize"; import { SHORTCUT_DEFINITIONS, findShortcutConflict, @@ -51,6 +52,7 @@ const editFontFamily = ref(settingsStore.editorSettings.fontFamily); const editFontSize = ref(settingsStore.editorSettings.fontSize); const editTheme = ref(settingsStore.editorSettings.theme); const editExecuteMode = ref(settingsStore.editorSettings.executeMode); +const editPageSize = ref(settingsStore.editorSettings.pageSize); const editWordWrap = ref(settingsStore.editorSettings.wordWrap); const editAppLayout = ref(settingsStore.editorSettings.appLayout); const editRedisScanPageSize = ref(settingsStore.editorSettings.redisScanPageSize); @@ -67,6 +69,7 @@ watch( editFontSize.value = settingsStore.editorSettings.fontSize; editTheme.value = settingsStore.editorSettings.theme; editExecuteMode.value = settingsStore.editorSettings.executeMode; + editPageSize.value = settingsStore.editorSettings.pageSize; editWordWrap.value = settingsStore.editorSettings.wordWrap; editAppLayout.value = settingsStore.editorSettings.appLayout; editRedisScanPageSize.value = settingsStore.editorSettings.redisScanPageSize; @@ -90,6 +93,7 @@ function hasChanges(): boolean { editFontSize.value !== settingsStore.editorSettings.fontSize || editTheme.value !== settingsStore.editorSettings.theme || editExecuteMode.value !== settingsStore.editorSettings.executeMode || + editPageSize.value !== settingsStore.editorSettings.pageSize || editWordWrap.value !== settingsStore.editorSettings.wordWrap || editAppLayout.value !== settingsStore.editorSettings.appLayout || editRedisScanPageSize.value !== settingsStore.editorSettings.redisScanPageSize || @@ -105,6 +109,7 @@ function applySettings() { fontSize: editFontSize.value, theme: editTheme.value, executeMode: editExecuteMode.value, + pageSize: normalizeResultPageSize(editPageSize.value), wordWrap: editWordWrap.value, appLayout: editAppLayout.value, redisScanPageSize: editRedisScanPageSize.value, @@ -119,6 +124,7 @@ function resetDefaults() { editFontSize.value = DEFAULT_EDITOR_SETTINGS.fontSize; editTheme.value = DEFAULT_EDITOR_SETTINGS.theme; editExecuteMode.value = DEFAULT_EDITOR_SETTINGS.executeMode; + editPageSize.value = DEFAULT_EDITOR_SETTINGS.pageSize; editWordWrap.value = DEFAULT_EDITOR_SETTINGS.wordWrap; editAppLayout.value = DEFAULT_EDITOR_SETTINGS.appLayout; editRedisScanPageSize.value = DEFAULT_EDITOR_SETTINGS.redisScanPageSize; @@ -130,6 +136,10 @@ function onExecuteModeChange(v: any) { if (v === "all" || v === "current") editExecuteMode.value = v; } +function onPageSizeInput(event: Event) { + editPageSize.value = normalizeResultPageSize((event.target as HTMLInputElement).value); +} + function onFontFamilyChange(v: any) { if (typeof v === "string") editFontFamily.value = v; } @@ -565,6 +575,28 @@ watch( +
{{ t("settings.resultPageSizeDescription") }}
+