diff options
Diffstat (limited to 'doc/repl.texi')
| -rw-r--r-- | doc/repl.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/repl.texi b/doc/repl.texi index aa15367..272a052 100644 --- a/doc/repl.texi +++ b/doc/repl.texi @@ -79,7 +79,9 @@ the input received from then underlying Scheme (specially if you have multiple threads writing to the standard ports), and become irresponsive; you can try this command to try to revive it without killing the process. Finally, if worse comes to worst and the process is -dead, @kbd{C-c z} will restart it. +dead, @kbd{C-c z} will restart it (but the same shortcut, issued when +the REPL is alive, will bring you back to the buffer you came from, as +explained @ref{switching-repl-buff,,here}). The remaining commands are meatier, and deserve sections of their own. |