diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-15 15:06:49 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-15 15:06:49 -0500 |
| commit | fa2582d562118dc1ceccd01ede8d0d7e80d71a29 (patch) | |
| tree | 21a54ab2f3e271bbb8e46cf60b830aedf0297c74 /lib/headlines.ml | |
| parent | 613b17e9f30b4def18e014993576a4324d9b11a4 (diff) | |
| download | stitch-fa2582d562118dc1ceccd01ede8d0d7e80d71a29.tar.gz stitch-fa2582d562118dc1ceccd01ede8d0d7e80d71a29.tar.bz2 stitch-fa2582d562118dc1ceccd01ede8d0d7e80d71a29.zip | |
Add basic file search
Diffstat (limited to '')
| -rw-r--r-- | lib/headlines.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/headlines.ml b/lib/headlines.ml index 51bcc6b..6b79262 100644 --- a/lib/headlines.ml +++ b/lib/headlines.ml @@ -95,6 +95,7 @@ let rec render ; scroll = 0 ; go_back = (fun () -> render t state) ; goto_todos_view + ; goto_done_view } | `Key (`ASCII 'r', []) -> let (input_state : Input_screen.state) = |