mirror of
https://github.com/purocean/yn.git
synced 2026-09-01 05:35:28 +08:00
feat: add font ligatures setting to editor
This commit is contained in:
@@ -0,0 +1 @@
|
||||
v18.20.2
|
||||
@@ -200,6 +200,14 @@ const schema: SettingSchema = ({
|
||||
inputAttributes: { placeholder: 'e.g., \'Courier New\', monospace' }
|
||||
},
|
||||
},
|
||||
'editor.font-ligatures': {
|
||||
defaultValue: false,
|
||||
title: 'T_setting-panel.schema.editor.font-ligatures',
|
||||
type: 'boolean',
|
||||
format: 'checkbox',
|
||||
group: 'editor',
|
||||
required: true,
|
||||
},
|
||||
'editor.mouse-wheel-zoom': {
|
||||
defaultValue: true,
|
||||
title: 'T_setting-panel.schema.editor.mouse-wheel-zoom',
|
||||
|
||||
@@ -92,6 +92,7 @@ export const getDefaultOptions = (): Monaco.editor.IStandaloneEditorConstruction
|
||||
renderLineHighlight: 'all',
|
||||
stickyScroll: { enabled: getSetting('editor.sticky-scroll-enabled', true) },
|
||||
lightbulb: { enabled: 'on' as any },
|
||||
fontLigatures: getSetting('editor.font-ligatures', false),
|
||||
wordSeparators: '`~!@#$%^&*()-=+[{]}\\|;:\'",.<>/?。?!,、;:“”‘’()《》〈〉【】『』「」﹃﹄〔〕'
|
||||
})
|
||||
|
||||
|
||||
@@ -311,6 +311,7 @@ export interface BuildInSettings {
|
||||
'envs': string,
|
||||
'editor.mouse-wheel-zoom': boolean,
|
||||
'editor.font-size': number,
|
||||
'editor.font-ligatures': boolean,
|
||||
'editor.tab-size': 2 | 4,
|
||||
'editor.ordered-list-completion': 'auto' | 'increase' | 'one',
|
||||
'editor.minimap': boolean,
|
||||
|
||||
@@ -384,6 +384,7 @@ const data = {
|
||||
'line-numbers': 'Line Numbers',
|
||||
'enable-preview': 'Enable Preview - Open new files using temporary tabs, double click the tab to change',
|
||||
'font-family': 'Font Family',
|
||||
'font-ligatures': 'Font Ligatures',
|
||||
'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',
|
||||
|
||||
@@ -375,6 +375,7 @@ const data: BaseLanguage = {
|
||||
'line-numbers': '行号',
|
||||
'enable-preview': '开启预览 - 打开新文件使用临时标签,双击标签以更改',
|
||||
'font-family': '字体',
|
||||
'font-ligatures': '字体连字',
|
||||
'complete-emoji': '自动补全 Emoji - 输入 : 时显示 Emoji 列表',
|
||||
'todo-with-time': '勾选待办事项时自动添加时间',
|
||||
'suggest-on-trigger-characters': '自动提示 - 输入提示符时显示提示。如果禁用,仍可使用 Ctrl+Space (取决于快捷键配置) 触发',
|
||||
|
||||
@@ -375,6 +375,7 @@ const data: BaseLanguage = {
|
||||
'line-numbers': '行號',
|
||||
'enable-preview': '開啟預覽 - 開啟新檔案使用暫存標籤,雙擊標籤以變更',
|
||||
'font-family': '字體',
|
||||
'font-ligatures': '字體連字',
|
||||
'complete-emoji': '自動補全 Emoji - 輸入 : 時顯示 Emoji 清單',
|
||||
'todo-with-time': '勾選待辦事項時自動加入時間',
|
||||
'suggest-on-trigger-characters': '自動提示 - 輸入提示符號時顯示提示。若停用,仍可使用 Ctrl+Space (依據快速鍵設定) 觸發',
|
||||
|
||||
Reference in New Issue
Block a user