[222_65] 数学符号输入后 footer 实时显示对应快捷键 (#3088)

Author: MoonL79

devel/222_65.md

@@ -59,74 +59,94 @@
    对定界符这类结构，footer 的反查结果可能与菜单 tooltip 不一致
    这是由于 footer 只能从结果树逆向推回 source，而菜单直接持有原始 source
 
-## 2026/04/01 修复右侧 footer 快捷键缓存导致的错误显示
+测试项八：快捷键直接插入后，右侧 footer 不应被临时消息覆盖
+1. 打开任意文档，进入数学模式
+2. 使用快捷键直接输入一个会立即合成的 symbol 或 operation
+3. 观察右侧 footer 在合成后的显示结果
+4. 右侧 footer 应直接稳定显示当前 symbol / operation 对应的快捷键
+5. 不应出现“先短暂显示正确结果、随后又被旧的快捷键提示覆盖”的现象
+6. 至少验证以下几类：
+   `a tab -> <alpha>`
+   根号
+   分式
+
+## 2026/04/01 快捷键执行后的临时右侧消息会覆盖实时 footer
 
 ### What
-移除 `src/Edit/Interface/edit_footer.cpp` 中按符号字符串做 key 的全局快捷键缓存，改为每次 footer 更新时按当前上下文实时调用 `kbd-find-inv-binding` 反查快捷键。
+修复使用快捷键直接敲出 symbol / operation 后，右侧 footer 会先短暂显示正确快捷键、随后又被旧的快捷键提示覆盖掉的问题。
 
 ### Why
-此前右侧 footer 的快捷键显示使用了进程级静态缓存，只以 `<alpha>`、`<rightarrow>` 这类符号字符串作为缓存 key。
-但 `kbd-find-inv-binding` 实际是上下文相关的反查接口，键盘绑定本身可能带有 mode 和 require 条件。
-这样会导致第一次查到的结果被缓存下来，之后即使切换上下文，footer 仍然可能显示旧的快捷键结果，不能满足“实时显示当前快捷键”的需求。
+排查发现问题不在 `set_right_footer()` 的计算逻辑，而在快捷键执行路径中的临时消息覆盖：
 
-### How
-src/Edit/Interface/edit_footer.cpp 删除 `shortcut_cache`
-src/Edit/Interface/edit_footer.cpp :143 `get_shortcut_suffix` 改为直接调用 `kbd-find-inv-binding`
-src/Edit/Interface/edit_footer.cpp :161 `compute_text_footer` 继续复用 `get_shortcut_suffix`，但结果不再受旧缓存污染
+`src/Edit/Interface/edit_keyboard.cpp` :128
 
-## 2026/04/01 补齐 operation footer 的快捷键提示
+`try_shortcut()` 在命中快捷键后会先执行
 
-### What
-为 `compute_operation_footer()` 增加快捷键后缀逻辑，使 operation 类型的 footer 也能显示对应快捷键。
+`set_message (help, rew)`
 
-### Why
-此前实现只在 `compute_text_footer()` 中为 `<symbol>` 追加快捷键提示，而 `compute_operation_footer()` 只返回 `square root`、`long arrow`、`hat` 这类文本描述，没有追加快捷键。
-这会导致 symbol path 能显示快捷键，但 operation path 不能显示，实际效果与原功能说明不一致。
+其中：
+- `help` 写入左侧 footer
+- `rew` 写入右侧 footer
 
-### How
-src/Edit/Interface/edit_footer.cpp :222 `compute_operation_footer` 新增 `suffix`
-src/Edit/Interface/edit_footer.cpp :355 使用 `drd->get_name (L (st))` 组装 `"(make '<op>)"`，并通过 `get_shortcut_suffix` 统一反查快捷键
-src/Edit/Interface/edit_footer.cpp :356 当存在绑定时，将快捷键后缀追加到 operation footer 文本后
+随后 `src/Edit/Interface/edit_footer.cpp` 中 `set_footer()` 的分发逻辑是：
+- 当 `message_r == ""` 时，调用无参 `set_right_footer()`，按当前光标位置实时计算 footer
+- 当 `message_r != ""` 时，直接调用 `set_right_footer (message_r)`，显示临时右侧消息
 
-## 2026/04/01 结构命令反查需要传 command object，而不是字符串
+这就导致：
+- 快捷键执行后，基于当前树结构调用 `set_right_footer()` 时，右侧 footer 一度是正确的
+- 但紧接着 decoration 刷新又读到了尚未清空的 `message_r`
+- 因此右侧 footer 很快又被 `rew` 覆盖
 
-### What
-为 footer 的结构类快捷键反查补齐 command object 转换，确认 `kbd-find-inv-binding` 对不同参数形式的行为差异。
+表现上就是：
+- 乐高符号或结构刚合成的一瞬间，footer 看起来是对的
+- 然后马上被刷回快捷键提示本身
 
-### Why
-排查发现 `<alpha>` 这类 symbol 可以直接用字符串反查，但 `(make-sqrt)`、`(make-fraction)`、`(make-script #f #t)` 这类结构命令如果直接以字符串传给 `kbd-find-inv-binding`，会返回空结果。
-原因在于逆向绑定表里存储的是命令对象，而不是命令源码字符串。
+### How
+src/Edit/Interface/edit_keyboard.cpp :103 `try_shortcut()` 新增 `executed` 标记。
 
-- `"<alpha>"` 作为字符串可以命中
-- `"(make-sqrt)"` / `"make-sqrt"` 作为字符串不能命中
-- `'(make-sqrt)` 和 `(string->object "(make-sqrt)")` 可以命中
-- 返回结果是内部 binding 形式，例如 `A-s`、`A-f`，而不一定是源码里的 `"math s"`、`"math f"`
+src/Edit/Interface/edit_keyboard.cpp :145 修改快捷键执行后的逻辑：
+- 只有在快捷键真正执行了 `cmd()` 或 `kbd-insert` 时，才认为本次 shortcut 已完成
+- 对“只匹配到前缀、尚未完成输入”的情况，不做额外处理
 
-### How
-src/Edit/Interface/edit_footer.cpp :144 `get_shortcut_suffix` 改为：
-- 普通 symbol 继续使用 `object (cmd_s)`
-- 以 `(` 开头的命令字符串先 `string_to_object (cmd_s)`，再传给 `kbd-find-inv-binding`
+src/Edit/Interface/edit_keyboard.cpp :153 在 shortcut 真正执行完成后：
+- 将 `message_r` 清空
+- 立即调用无参 `set_right_footer()`
 
-## 2026/04/01 operation footer 在空占位原子节点中提升到父结构节点
+这样可以保证：
+- 左侧 `help` 提示仍然保留
+- 右侧不再被临时 `rew` 覆盖
+- footer 最终显示的是当前光标位置对应的实时 symbol / operation shortcut
+## 2026/04/01 定界符结构的逆向结果与菜单提示不一致
 
 ### What
-修复刚插入根号、分式、上下标、上下附标等结构时，右侧 footer 只走 text path、不显示 operation shortcut 的问题。
+尝试为 `AROUND` / `VAR_AROUND` 结构补齐快捷键显示，并排查为什么 footer 中会出现 `Alt+L [`，而数学工具栏大型定界符菜单悬浮提示显示的是 `[`。
 
 ### Why
-这些结构在插入后会立刻把光标放进内部空原子节点中，例如 `SQRT("")`、`RSUB("")`。
-此时 `set_right_footer()` 中的
+大型定界符菜单里的每个按钮都带有原始命令 source，例如：
 
-`subtree (et, path_up (tp))`
+`(math-bracket-open "[" "]" 'default)`
 
-读到的是空原子子节点，而不是外层结构节点，导致逻辑总是进入 `compute_text_footer()`，根本不会调用 `compute_operation_footer()`。
+菜单系统在 `TeXmacs/progs/kernel/gui/menu-widget.scm` 中直接对这个 source 调用 `kbd-find-shortcut`，因此能稳定返回按钮自身对应的快捷键。
 
-### How
-src/Edit/Interface/edit_footer.cpp :512 `set_right_footer()` 修改分发逻辑：
-- 当当前节点是原子节点时，先查看 `path_up (tp, 2)` 对应的父节点
-- 若父节点标签属于 `LSUB`、`LSUP`、`RSUB`、`RSUP`、`FRAC`、`SQRT`、`ABOVE`、`BELOW`、`WIDE`、`VAR_WIDE`
-- 则直接对父节点调用 `compute_operation_footer(parent)`
-- 其他情况仍保持原有 text path
+footer 则不同：
+- footer 拿到的是结果树，如 `around` / `around*`
+- 然后再从结果树反推命令 source
+- 对括号结构来说，同一个结果树可能对应多条合法绑定：
+  - 普通绑定：`"[" -> (make-bracket-open "[" "]")`
+  - 数学默认括号：`(math-bracket-open "[" "]" 'default)`
+  - large 定界符：`"math:left [" -> (math-bracket-open "[" "]" #t)`
+
+逆向系统在多条候选里可能返回 large 这条，因此 footer 中会看到 `Alt+L [` 这样的前缀式结果。
+这并不代表 `Alt+L` 是一个完整快捷键，而是 `math:left` 这个前缀组的显示形式。
 
+### 结论
+对于括号这类结构，问题的根源不在 footer 拼接，而在逆向系统本身：
+- 菜单是 `source -> shortcut`，一对一，结果稳定
+- footer 是 `tree -> source -> shortcut`，一对多，容易命中“合法但不符合直觉”的候选
+
+本轮代码里为复用菜单逻辑，新增了：
+- `TeXmacs/progs/kernel/gui/menu-widget.scm` : `kbd-find-shortcut-export`
+- `src/Edit/Interface/edit_footer.cpp` : `get_display_shortcut_suffix`
 ## 2026/04/01 get_operation_shortcut_suffix 补齐结构类命令映射
 
 ### What
@@ -156,36 +176,67 @@ src/Edit/Interface/edit_footer.cpp :156 新增 `get_operation_shortcut_suffix`
 - 其他结构保留 `(make 'op)` fallback
 
 `compute_operation_footer()` 改为统一调用这个 helper。
+## 2026/04/01 operation footer 在空占位原子节点中提升到父结构节点
 
-## 2026/04/01 定界符结构的逆向结果与菜单提示不一致
+### What
+修复刚插入根号、分式、上下标、上下附标等结构时，右侧 footer 只走 text path、不显示 operation shortcut 的问题。
+
+### Why
+这些结构在插入后会立刻把光标放进内部空原子节点中，例如 `SQRT("")`、`RSUB("")`。
+此时 `set_right_footer()` 中的
+
+`subtree (et, path_up (tp))`
+
+读到的是空原子子节点，而不是外层结构节点，导致逻辑总是进入 `compute_text_footer()`，根本不会调用 `compute_operation_footer()`。
+
+### How
+src/Edit/Interface/edit_footer.cpp :512 `set_right_footer()` 修改分发逻辑：
+- 当当前节点是原子节点时，先查看 `path_up (tp, 2)` 对应的父节点
+- 若父节点标签属于 `LSUB`、`LSUP`、`RSUB`、`RSUP`、`FRAC`、`SQRT`、`ABOVE`、`BELOW`、`WIDE`、`VAR_WIDE`
+- 则直接对父节点调用 `compute_operation_footer(parent)`
+- 其他情况仍保持原有 text path
+## 2026/04/01 结构命令反查需要传 command object，而不是字符串
 
 ### What
-尝试为 `AROUND` / `VAR_AROUND` 结构补齐快捷键显示，并排查为什么 footer 中会出现 `Alt+L [`，而数学工具栏大型定界符菜单悬浮提示显示的是 `[`。
+为 footer 的结构类快捷键反查补齐 command object 转换，确认 `kbd-find-inv-binding` 对不同参数形式的行为差异。
 
 ### Why
-大型定界符菜单里的每个按钮都带有原始命令 source，例如：
+排查发现 `<alpha>` 这类 symbol 可以直接用字符串反查，但 `(make-sqrt)`、`(make-fraction)`、`(make-script #f #t)` 这类结构命令如果直接以字符串传给 `kbd-find-inv-binding`，会返回空结果。
+原因在于逆向绑定表里存储的是命令对象，而不是命令源码字符串。
 
-`(math-bracket-open "[" "]" 'default)`
+- `"<alpha>"` 作为字符串可以命中
+- `"(make-sqrt)"` / `"make-sqrt"` 作为字符串不能命中
+- `'(make-sqrt)` 和 `(string->object "(make-sqrt)")` 可以命中
+- 返回结果是内部 binding 形式，例如 `A-s`、`A-f`，而不一定是源码里的 `"math s"`、`"math f"`
 
-菜单系统在 `TeXmacs/progs/kernel/gui/menu-widget.scm` 中直接对这个 source 调用 `kbd-find-shortcut`，因此能稳定返回按钮自身对应的快捷键。
+### How
+src/Edit/Interface/edit_footer.cpp :144 `get_shortcut_suffix` 改为：
+- 普通 symbol 继续使用 `object (cmd_s)`
+- 以 `(` 开头的命令字符串先 `string_to_object (cmd_s)`，再传给 `kbd-find-inv-binding`
+## 2026/04/01 补齐 operation footer 的快捷键提示
 
-footer 则不同：
-- footer 拿到的是结果树，如 `around` / `around*`
-- 然后再从结果树反推命令 source
-- 对括号结构来说，同一个结果树可能对应多条合法绑定：
-  - 普通绑定：`"[" -> (make-bracket-open "[" "]")`
-  - 数学默认括号：`(math-bracket-open "[" "]" 'default)`
-  - large 定界符：`"math:left [" -> (math-bracket-open "[" "]" #t)`
+### What
+为 `compute_operation_footer()` 增加快捷键后缀逻辑，使 operation 类型的 footer 也能显示对应快捷键。
 
-逆向系统在多条候选里可能返回 large 这条，因此 footer 中会看到 `Alt+L [` 这样的前缀式结果。
-这并不代表 `Alt+L` 是一个完整快捷键，而是 `math:left` 这个前缀组的显示形式。
+### Why
+此前实现只在 `compute_text_footer()` 中为 `<symbol>` 追加快捷键提示，而 `compute_operation_footer()` 只返回 `square root`、`long arrow`、`hat` 这类文本描述，没有追加快捷键。
+这会导致 symbol path 能显示快捷键，但 operation path 不能显示，实际效果与原功能说明不一致。
 
-### 结论
-对于括号这类结构，问题的根源不在 footer 拼接，而在逆向系统本身：
-- 菜单是 `source -> shortcut`，一对一，结果稳定
-- footer 是 `tree -> source -> shortcut`，一对多，容易命中“合法但不符合直觉”的候选
+### How
+src/Edit/Interface/edit_footer.cpp :222 `compute_operation_footer` 新增 `suffix`
+src/Edit/Interface/edit_footer.cpp :355 使用 `drd->get_name (L (st))` 组装 `"(make '<op>)"`，并通过 `get_shortcut_suffix` 统一反查快捷键
+src/Edit/Interface/edit_footer.cpp :356 当存在绑定时，将快捷键后缀追加到 operation footer 文本后
+## 2026/04/01 修复右侧 footer 快捷键缓存导致的错误显示
 
-本轮代码里为复用菜单逻辑，新增了：
-- `TeXmacs/progs/kernel/gui/menu-widget.scm` : `kbd-find-shortcut-export`
-- `src/Edit/Interface/edit_footer.cpp` : `get_display_shortcut_suffix`
+### What
+移除 `src/Edit/Interface/edit_footer.cpp` 中按符号字符串做 key 的全局快捷键缓存，改为每次 footer 更新时按当前上下文实时调用 `kbd-find-inv-binding` 反查快捷键。
 
+### Why
+此前右侧 footer 的快捷键显示使用了进程级静态缓存，只以 `<alpha>`、`<rightarrow>` 这类符号字符串作为缓存 key。
+但 `kbd-find-inv-binding` 实际是上下文相关的反查接口，键盘绑定本身可能带有 mode 和 require 条件。
+这样会导致第一次查到的结果被缓存下来，之后即使切换上下文，footer 仍然可能显示旧的快捷键结果，不能满足“实时显示当前快捷键”的需求。
+
+### How
+src/Edit/Interface/edit_footer.cpp 删除 `shortcut_cache`
+src/Edit/Interface/edit_footer.cpp :143 `get_shortcut_suffix` 改为直接调用 `kbd-find-inv-binding`
+src/Edit/Interface/edit_footer.cpp :161 `compute_text_footer` 继续复用 `get_shortcut_suffix`，但结果不再受旧缓存污染

src/Edit/Interface/edit_keyboard.cpp

@@ -18,6 +18,8 @@
 #include "new_window.hpp"
 #include "object_l5.hpp"
 #include "preferences.hpp"
+#include "scheme.hpp"
+#include "string.hpp"
 #include "tm_buffer.hpp"
 #include "tm_window.hpp"
 
@@ -102,6 +104,7 @@ edit_interface_rep::interrupt_shortcut () {
 bool
 edit_interface_rep::try_shortcut (string comb) {
   int     status;
+  bool    executed= false;
   command cmd;
   string  shorth;
   string  help;
@@ -142,8 +145,21 @@ edit_interface_rep::try_shortcut (string comb) {
       call ("set-temporary-message", tree (CONCAT, "keyboard shortcut: ", rew),
             verbatim (rhs), shorth == "" ? 1 : 3000);
     }
-    if ((status & 1) == 1) cmd ();
-    else if (N (shorth) > 0) call ("kbd-insert", shorth);
+    if ((status & 1) == 1) {
+      cmd ();
+      executed= true;
+    }
+    else if (N (shorth) > 0) {
+      call ("kbd-insert", shorth);
+      executed= true;
+    }
+    if (executed) {
+      string mode= as_string (call ("get-env", "mode"));
+      if (mode == "math") {
+        message_r= "";
+        set_right_footer ();
+      }
+    }
     // cout << "Mark= " << sh_mark << "\n";
     string mode= as_string (call ("get-env", "mode"));
     if (mode == "math" && get_preference ("completion style") == "popup") {