diff options
| author | David Aspinall | 1998-10-27 15:03:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 15:03:37 +0000 |
| commit | 87ee0168ba6f365cd99996386690d63009665178 (patch) | |
| tree | cb73ae9e9915a211ae10d09b7a42f5a3a2de7daa /generic/proof-script.el | |
| parent | f6327b4fd14d5bf52f1943cc7872606123f09a09 (diff) | |
Added more comments to proof-activate-scripting
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index f7b6628b..4447f368 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -372,11 +372,14 @@ the hooks `proof-activate-scripting-hook' are run." ;; Turn off Scripting in the old buffer. (setq proof-active-buffer-fake-minor-mode nil))) - ;; is this a fresh script mode buffer, with no locked region? + ;; does the new scripting buffer already have a locked region? (if (member (current-buffer) proof-script-buffer-list) + ;; If so, it must be moved to the head of the list (setq proof-script-buffer-list (remove (current-buffer) proof-script-buffer-list)) + ;; If not, initialise the spans. (proof-init-segmentation)) + (setq proof-script-buffer-list (cons (current-buffer) proof-script-buffer-list)) |