diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-25 23:43:50 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-25 23:43:50 +0200 |
| commit | 235543503d09a52a513054ed75ac2506b7ce87bf (patch) | |
| tree | e75df482f8154e55a1a418fc38b5ccd4c2c09364 /doc/repl.texi | |
| parent | 941d65165b3bce917d3bff9952e582800ccf2981 (diff) | |
| download | geiser-chez-235543503d09a52a513054ed75ac2506b7ce87bf.tar.gz geiser-chez-235543503d09a52a513054ed75ac2506b7ce87bf.tar.bz2 | |
C-c z as a to and fro jump, plus documentation.
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. |