From bc4fa7974303b21d0cf91442f9e698d1f8e87952 Mon Sep 17 00:00:00 2001 From: CrystalSplitter Date: Fri, 15 Nov 2024 21:00:33 -0800 Subject: [PATCH] Fix manual typo --- gen/MANUAL.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/gen/MANUAL.txt b/gen/MANUAL.txt index ff96379..3dd1c9f 100644 --- a/gen/MANUAL.txt +++ b/gen/MANUAL.txt @@ -117,11 +117,11 @@ KEYBINDINGS • t: Advance execution until next breakpoint under tracing. Same as :trace in GHCi. - • Ctrl+c`: Send an interrupt to the daemon. Useful for breaking infi‐ - nite loops. + • Ctrl+c: Send an interrupt to the daemon. Useful for breaking infinite + loops. Live Interpreter (REPL) - • Ctrl+x: Toggle between the Source Viewer and the Live Interpreter + • Ctrl+x: Toggle between the Source Viewer and the Live Interpreter panels. • : Switch to Source Viewer. @@ -144,8 +144,8 @@ KEYBINDINGS • : Autocomplete (yes there's basic autocomplete support) - • Ctrl+c`: Send an interrupt to the daemon. Useful for breaking infi‐ - nite loops. + • Ctrl+c: Send an interrupt to the daemon. Useful for breaking infinite + loops. Modules • ?: Display help inside GHCiTUI.