Add search in ui/docs

Signed-off-by: Hadi <112569860+anotherhadi@users.noreply.github.com>
2026-05-20 01:32:33 +02:00 · 2026-05-18 21:22:17 +02:00
parent d451965fa0
commit 85c2806604
8 changed files with 318 additions and 9 deletions
@@ -98,3 +98,9 @@ keybindings:
    toggle: "space"
    edit_config: "e,enter"
    filter: "/"
+
+  docs:
+    search: "/"
+    search_reset: "r"
+    search_next: "n"
+    search_prev: "N"