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 | 0b410d7b466f86afeb2848be5e3b7a236d7da208 (patch) | |
| tree | 45bfc31eb85e0358168cc8e48dbd04aff2cf6deb /doc/repl.texi | |
| parent | 630fe511b7ca38d22dc6729b73989b20b3a21076 (diff) | |
| download | geiser-0b410d7b466f86afeb2848be5e3b7a236d7da208.tar.gz geiser-0b410d7b466f86afeb2848be5e3b7a236d7da208.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. |