diff options
| author | Healfdene Goguen | 1998-06-02 15:36:24 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-02 15:36:24 +0000 |
| commit | fe55d5d746ffd7baeb0fae0485e629a6cc69e799 (patch) | |
| tree | 74f1f23e62fc4541fd4a0252f59d1db64034101f | |
| parent | 2d6272f9ab4f4f3f85f4e1f657fc3d276113161b (diff) | |
Added comment about C-c ' that it will switch to the scripting buffer.
| -rw-r--r-- | script-management.texinfo | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/script-management.texinfo b/script-management.texinfo index dda36fdf..71575d1f 100644 --- a/script-management.texinfo +++ b/script-management.texinfo @@ -74,10 +74,10 @@ transferred to the queue region and sent one by one to the proof process. If the command is accepted, it is transferred to the locked region, but if an error occurs it is signalled to the user, and the offending command is transferred back to the editing region together -with any remaining commands in the queue. @strong{Retraction} causes commands to -be transferred from the locked region to the editing region (again via -the queue region) and the appropriate 'undo' commands to be sent to the -proof process. +with any remaining commands in the queue. @strong{Retraction} causes +commands to be transferred from the locked region to the editing region +(again via the queue region) and the appropriate 'undo' commands to be +sent to the proof process. As commands are transferred to the locked region, they are aggregated into segments which constitute the smallest units which can be @@ -115,7 +115,9 @@ retract the last segment in the locked region, and kill the text in it. However, you can always recover the killed text using Emacs Undo.} @item C-c ' -move the point to the end of the locked region +move the point to the end of the locked region. If you are in a script +buffer other than the active scripting buffer, this will also transfer +you to the active one. @item C-c C-e move the point to the next terminator |