feat: 添加编辑器自定义字体功能
This commit is contained in:
@@ -70,6 +70,9 @@
|
||||
"editorFontSize": "Editor Font Size",
|
||||
"editorFontSizeSaved": "Editor font size saved.",
|
||||
"editorFontSizeSaveFailed": "Failed to save editor font size: {message}",
|
||||
"editorFontFamily": "Editor Font Family",
|
||||
"editorFontFamilySaved": "Editor font family saved.",
|
||||
"editorFontFamilySaveFailed": "Failed to save editor font family: {message}",
|
||||
"errorInvalidEditorFontSize": "Invalid font size. Please enter a positive number.",
|
||||
"uiThemeJsonEditorTitle": "UI Theme JSON Editor",
|
||||
"uiThemeJsonEditorDesc": "Directly edit the UI theme configuration using JSON. Changes here will reflect in the color pickers above after blurring the textarea.",
|
||||
|
||||
@@ -1208,6 +1208,9 @@
|
||||
"editorFontSize": "エディターフォントサイズ",
|
||||
"editorFontSizeSaveFailed": "エディターフォントサイズの保存に失敗しました: {message}",
|
||||
"editorFontSizeSaved": "エディターフォントサイズを保存しました。",
|
||||
"editorFontFamily": "エディターフォントファミリー",
|
||||
"editorFontFamilySaved": "エディターフォントファミリーを保存しました。",
|
||||
"editorFontFamilySaveFailed": "エディターフォントファミリーの保存に失敗しました: {message}",
|
||||
"errorFixJsonBeforeSave": "保存する前に JSON フォーマットのエラーを修正してください。",
|
||||
"errorInvalidEditorFontSize": "無効なフォントサイズです。正数を入力してください。",
|
||||
"errorInvalidFontSize": "無効なフォントサイズです。正数を入力してください。",
|
||||
|
||||
@@ -70,6 +70,9 @@
|
||||
"editorFontSize": "编辑器字体大小",
|
||||
"editorFontSizeSaved": "编辑器字体大小已保存。",
|
||||
"editorFontSizeSaveFailed": "保存编辑器字体大小失败: {message}",
|
||||
"editorFontFamily": "编辑器字体",
|
||||
"editorFontFamilySaved": "编辑器字体已保存。",
|
||||
"editorFontFamilySaveFailed": "保存编辑器字体失败: {message}",
|
||||
"errorInvalidEditorFontSize": "无效的字体大小。请输入一个正数。",
|
||||
"uiThemeJsonEditorTitle": "界面主题 JSON 编辑器",
|
||||
"uiThemeJsonEditorDesc": "直接使用 JSON 编辑界面主题配置。在此处更改并在文本区域失焦后,上面的颜色选择器将同步更新。",
|
||||
|
||||
Reference in New Issue
Block a user