diff options
| author | David Aspinall | 1998-11-02 17:22:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-02 17:22:29 +0000 |
| commit | b34ddba34b88e08dde2e37b8eb357fd76300ed43 (patch) | |
| tree | e7978ee82182c33d0b5fd3c61709021c563ba3ed /generic/proof-shell.el | |
| parent | da2ed54dac8160ae4cdb25c8e048600dc1e38973 (diff) | |
Quick fix for multiple file problem when current scripting buffer is retracted by prover.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 28c60ddc..b2e6dd30 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -786,11 +786,25 @@ arrive." (let ((current-included proof-included-files-list)) (setq proof-included-files-list (funcall proof-shell-compute-new-files-list message)) - (proof-restart-buffers - (remove (car-safe proof-script-buffer-list) - (proof-files-to-buffers - (set-difference current-included - proof-included-files-list)))))) + (let + ((scrbuf (car-safe proof-script-buffer-list))) + (proof-restart-buffers + ;; FIXME: multiple files needs fixing here!! + ;; (remove (car-safe proof-script-buffer-list) + (proof-files-to-buffers + (set-difference current-included + proof-included-files-list))) + ; ) + (cond + ((not scrbuf)) + ((eq scrbuf (car-safe proof-script-buffer-list))) + (t + (setq proof-script-buffer-list + (cons scrbuf proof-script-buffer-list)) + (save-excursion + (set-buffer scrbuf) + (proof-init-segmentation))))) + )) (t (proof-shell-message message) (proof-response-buffer-display message |