From e1bdc8f64a16b233a2633b05c2b073169a4c42c4 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 15 May 2024 14:13:09 -0500 Subject: Add refresh button --- lib/help_screen.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/help_screen.ml') diff --git a/lib/help_screen.ml b/lib/help_screen.ml index b74e91c..af744c4 100644 --- a/lib/help_screen.ml +++ b/lib/help_screen.ml @@ -52,8 +52,8 @@ let render_menu ~menu ~title ~start_y = let note_view_menu = [ "Toggle Stitch", "s" ] -let todo_view_menu = [ "Toggle Done", "t" ] -let done_view_menu = [ "Toggle Todo", "t" ] +let todo_view_menu = [ "Toggle Done", "t"; "Refresh", "g" ] +let done_view_menu = [ "Toggle Todo", "t"; "Refresh", "g" ] let rec render t ({ go_back } as state) = let img = -- cgit v1.2.3