From 598ce9ecef91264bd78555bd5b6fcca97a073d95 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 10 Jun 2024 11:58:16 -0500 Subject: Hide file names by default --- lib/help_screen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/help_screen.ml') diff --git a/lib/help_screen.ml b/lib/help_screen.ml index 9d10010..e6baf42 100644 --- a/lib/help_screen.ml +++ b/lib/help_screen.ml @@ -33,7 +33,7 @@ let general_help_menu = ; "Done", "3" ; "Run Shell Command", "!" ; "Edit File in $EDITOR", "Enter, e" - ; "Toggle Hide File Name", "h" + ; "Toggle File Name", "h" ] -- cgit v1.2.3