Félix has discovered a serious undo bug that has been around for years. That's good because it means my recent work is not the culprit :-)
His fix creates a way of undoing/redoing arbitrary changes to trees.
Félix has also convinced me that commands like refresh-from-disk should be undoable. These commands will use his new undo/redo scheme.
Summary
Félix will soon create a new issue that describes a significant bug and its fix. The fix will show how to undo changes throughout a tree.
Commands such as refresh-from-disk will soon be undoable.
These changes will be part of Leo 6.7.4.
Edward
The issue was created right after we spoke: https://github.com/leo-editor/leo-editor/issues/3446
I've just created PR #3449. At present the PR contains only a failing unit test, modeled exactly on the outline shown in #3446.