db48x/images/xroot-order.png
Christophe de Dinechin 4febac76d7 ui: Add history menu entries to EditMenu
Add commands to the `EditMenu` to go both up and down in the history,
and to enter the interactive stack.

Switch to the `EditMenu` automatically when we use the history command.

Fixes: #1028

Signed-off-by: Christophe de Dinechin <christophe@dinechin.org>
2024-07-20 04:28:29 +02:00

2.8 KiB
400x217px