add filter in ui/replay

Signed-off-by: Hadi <112569860+anotherhadi@users.noreply.github.com>
2026-07-06 20:42:33 +02:00 · 2026-05-30 19:57:25 +02:00
parent ee3e6806c7
commit ec0fb61099
6 changed files with 165 additions and 33 deletions
@@ -82,6 +82,7 @@ keybindings:
    undo_edits: "u,ctrl+z"
    delete_entry: "x"
    delete_all: "X"
+    filter: "/"

  diff:
    clear: "x"