From 6f657078057486add0223305a1d9d9b7aaf7a2be Mon Sep 17 00:00:00 2001 From: wumo Date: Thu, 5 Mar 2026 15:15:44 +0800 Subject: [PATCH 1/2] =?UTF-8?q?=E4=BC=98=E5=8C=96=E5=BF=AB=E6=8D=B7?= =?UTF-8?q?=E9=94=AE=E7=BC=96=E8=BE=91=E5=99=A8=E7=95=8C=E9=9D=A2?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TeXmacs/progs/source/shortcut-edit.scm | 17 ++++++++++++++++- devel/222_46.md | 10 ++++++++++ 2 files changed, 26 insertions(+), 1 deletion(-) create mode 100644 devel/222_46.md diff --git a/TeXmacs/progs/source/shortcut-edit.scm b/TeXmacs/progs/source/shortcut-edit.scm index 4552b0059c..438171e180 100644 --- a/TeXmacs/progs/source/shortcut-edit.scm +++ b/TeXmacs/progs/source/shortcut-edit.scm @@ -189,8 +189,23 @@ ;; Editing keyboard shortcuts ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(define (in-shortcut-editor?) + (tree-func? (cursor-tree) 'preview-shortcut 1)) + +(tm-define (zoom-in x) + (:require (in-shortcut-editor?)) + (noop)) + +(tm-define (zoom-out x) + (:require (in-shortcut-editor?)) + (noop)) + +(tm-define (change-zoom-factor z) + (:require (in-shortcut-editor?)) + (noop)) + (tm-define (keyboard-press key time) - (if (not (tree-func? (cursor-tree) 'preview-shortcut 1)) + (if (not (in-shortcut-editor?)) (former key time) (and-let* ((t (cursor-tree)) (sh (tm-ref t 0)) diff --git a/devel/222_46.md b/devel/222_46.md new file mode 100644 index 0000000000..1dbf6f7ce0 --- /dev/null +++ b/devel/222_46.md @@ -0,0 +1,10 @@ +# [222_46] + +### 如何测试 +1. 点击`工具->键盘->编辑键盘快捷键` +2. 点击快捷键编辑框，按住ctrl 并滑动滚轮，编辑界面不会变化(原本的实现会缩放该界面) + +## 2026/03/05 优化快捷键编辑器界面 + +### how +通过拦截缩放事件来避免快捷键编辑器也进行缩放 From fc5f8a8cf62d1e033138ea278e212016003d845d Mon Sep 17 00:00:00 2001 From: wumo Date: Thu, 5 Mar 2026 15:23:01 +0800 Subject: [PATCH 2/2] wip --- devel/{222_46.md => 222_50.md} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename devel/{222_46.md => 222_50.md} (96%) diff --git a/devel/222_46.md b/devel/222_50.md similarity index 96% rename from devel/222_46.md rename to devel/222_50.md index 1dbf6f7ce0..6054402395 100644 --- a/devel/222_46.md +++ b/devel/222_50.md @@ -1,4 +1,4 @@ -# [222_46] +# [222_50] ### 如何测试 1. 点击`工具->键盘->编辑键盘快捷键`