feat: add sticky scroll feature to editor settings

purocean · Apr 25, 2024 · 38d7533 · 38d7533
1 parent 100b672
commit 38d7533
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 0 deletions.
diff --git a/src/renderer/others/setting-schema.ts b/src/renderer/others/setting-schema.ts
@@ -241,6 +241,14 @@ const schema: SettingSchema = ({
       group: 'editor',
       required: true,
     },
+    'editor.sticky-scroll-enabled': {
+      defaultValue: true,
+      title: 'T_setting-panel.schema.editor.sticky-scroll-enabled',
+      type: 'boolean',
+      format: 'checkbox',
+      group: 'editor',
+      required: true,
+    },
     'render.md-html': {
       defaultValue: true,
       title: 'T_setting-panel.schema.render.md-html',

diff --git a/src/renderer/services/editor.ts b/src/renderer/services/editor.ts
@@ -90,6 +90,7 @@ export const getDefaultOptions = (): Monaco.editor.IStandaloneEditorConstruction
   suggestOnTriggerCharacters: getSetting('editor.suggest-on-trigger-characters', true),
   occurrencesHighlight: 'off',
   renderLineHighlight: 'all',
+  stickyScroll: { enabled: getSetting('editor.sticky-scroll-enabled', true) },
   wordSeparators: '`~!@#$%^&*()-=+[{]}\\|;:\'",.<>/?。？！，、；：“”‘’（）《》〈〉【】『』「」﹃﹄〔〕'
 })
 

diff --git a/src/renderer/types.ts b/src/renderer/types.ts
@@ -321,6 +321,7 @@ export interface BuildInSettings {
   'editor.todo-with-time': boolean,
   'editor.suggest-on-trigger-characters': boolean,
   'editor.quick-suggestions': boolean,
+  'editor.sticky-scroll-enabled': 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
@@ -387,6 +387,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',
+        'sticky-scroll-enabled': 'Enable Sticky Scroll - When the editor scrolls, the document title is fixed',
         'quick-suggestions': 'Quick Suggestions - Suggest as you type',
       },
       'render': {

diff --git a/src/share/i18n/languages/zh-CN.ts b/src/share/i18n/languages/zh-CN.ts
@@ -378,6 +378,7 @@ const data: BaseLanguage = {
         'complete-emoji': '自动补全 Emoji - 输入 : 时显示 Emoji 列表',
         'todo-with-time': '勾选待办事项时自动添加时间',
         'suggest-on-trigger-characters': '自动提示 - 输入提示符时显示提示。如果禁用，仍可使用 Ctrl+Space (取决于快捷键配置) 触发',
+        'sticky-scroll-enabled': '启用粘性滚动 - 当编辑器滚动时，固定显示文档标题等',
         'quick-suggestions': '快速提示 - 在输入文本时显示提示',
       },
       'render': {