From 6a7291e808238de4259b910235f09271abed3083 Mon Sep 17 00:00:00 2001 From: purocean Date: Tue, 26 Sep 2023 13:56:30 +0800 Subject: [PATCH] feat(editor): add `editor.quick-suggestion` config item --- src/renderer/others/setting-schema.ts | 8 ++++++++ src/renderer/services/editor.ts | 1 + src/renderer/types.ts | 1 + src/share/i18n/languages/en.ts | 1 + src/share/i18n/languages/zh-CN.ts | 3 ++- 5 files changed, 13 insertions(+), 1 deletion(-) diff --git a/src/renderer/others/setting-schema.ts b/src/renderer/others/setting-schema.ts index 69d05ee8..0ece555d 100644 --- a/src/renderer/others/setting-schema.ts +++ b/src/renderer/others/setting-schema.ts @@ -225,6 +225,14 @@ const schema: SettingSchema = ({ group: 'editor', required: true, }, + 'editor.quick-suggestions': { + defaultValue: false, + title: 'T_setting-panel.schema.editor.quick-suggestions', + type: 'boolean', + format: 'checkbox', + group: 'editor', + required: true, + }, 'editor.suggest-on-trigger-characters': { defaultValue: true, title: 'T_setting-panel.schema.editor.suggest-on-trigger-characters', diff --git a/src/renderer/services/editor.ts b/src/renderer/services/editor.ts index c2ab1a7b..bc2f7c5e 100644 --- a/src/renderer/services/editor.ts +++ b/src/renderer/services/editor.ts @@ -86,6 +86,7 @@ export const getDefaultOptions = (): Monaco.editor.IStandaloneEditorConstruction enabled: false }, lineNumbers: getSetting('editor.line-numbers', 'on'), + quickSuggestions: getSetting('editor.quick-suggestions', false), suggestOnTriggerCharacters: getSetting('editor.suggest-on-trigger-characters', true), occurrencesHighlight: false, renderLineHighlight: 'all', diff --git a/src/renderer/types.ts b/src/renderer/types.ts index f24213c3..b079d1b0 100644 --- a/src/renderer/types.ts +++ b/src/renderer/types.ts @@ -320,6 +320,7 @@ export interface BuildInSettings { 'editor.complete-emoji': boolean, 'editor.todo-with-time': boolean, 'editor.suggest-on-trigger-characters': boolean, + 'editor.quick-suggestions': boolean, 'render.md-html': boolean, 'render.md-breaks': boolean, 'render.md-linkify': boolean, diff --git a/src/share/i18n/languages/en.ts b/src/share/i18n/languages/en.ts index 0f498908..9f93757c 100644 --- a/src/share/i18n/languages/en.ts +++ b/src/share/i18n/languages/en.ts @@ -383,6 +383,7 @@ const data = { 'complete-emoji': 'Complete Emoji - Input : to display emoji list', 'todo-with-time': 'Add time when checking todo', 'suggest-on-trigger-characters': 'Suggest on trigger characters - You can also use Ctrl+Space (depending on the shortcuts) to trigger', + 'quick-suggestions': 'Quick Suggestions - Suggest as you type', }, 'render': { 'md-html': 'Enable HTML', diff --git a/src/share/i18n/languages/zh-CN.ts b/src/share/i18n/languages/zh-CN.ts index 010e3d92..98fe3007 100644 --- a/src/share/i18n/languages/zh-CN.ts +++ b/src/share/i18n/languages/zh-CN.ts @@ -373,7 +373,8 @@ const data: BaseLanguage = { 'font-family': '字体', 'complete-emoji': '自动补全 Emoji - 输入 : 时显示 Emoji 列表', 'todo-with-time': '勾选待办事项时自动添加时间', - 'suggest-on-trigger-characters': '输入时自动提示 - 如果禁用,仍可使用 Ctrl+Space (取决于快捷键配置) 触发', + 'suggest-on-trigger-characters': '自动提示 - 输入提示符时显示提示。如果禁用,仍可使用 Ctrl+Space (取决于快捷键配置) 触发', + 'quick-suggestions': '快速提示 - 在输入文本时显示提示', }, 'render': { 'md-html': '启用 HTML',