mirror of
https://github.com/purocean/yn.git
synced 2026-10-16 15:41:46 +08:00
feat(editor): add editor.quick-suggestion config item
This commit is contained in:
@@ -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',
|
||||
|
||||
@@ -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',
|
||||
|
||||
@@ -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,
|
||||
|
||||
@@ -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',
|
||||
|
||||
@@ -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',
|
||||
|
||||
Reference in New Issue
Block a user