diff options
author | 1999-10-06 10:43:01 +0000 | |
---|---|---|
committer | 1999-10-06 10:43:01 +0000 | |
commit | 33c9c384ad99710754412d7603da7505fd3b6394 (patch) | |
tree | db7235f77de10475bc2afe9b96170eb8af5d0b06 /generic/proof-toolbar.el | |
parent | ec1483c11de67a790d3c75fad2d083b836ca0c9d (diff) |
Added proof-retract-buffer symmetric to proof-process-buffer.
Added question to user when switching scripting buffer,
and new option proof-auto-retract-other-buffers to disable question.
This reimplements the old "steal scripting?" idea.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 805c0dfb..60f52fef 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -334,8 +334,7 @@ Move point if the end of the locked position is invisible." ;; proof-retract-file might be better here! (interactive) (proof-toolbar-move - (goto-char (point-min)) - (proof-retract-until-point-interactive)) ; gives error if process busy + (proof-retract-buffer)) ; gives error if process busy (proof-toolbar-follow)) ;; |