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-script.el | |
| parent | da2ed54dac8160ae4cdb25c8e048600dc1e38973 (diff) | |
Quick fix for multiple file problem when current scripting buffer is retracted by prover.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 624a468e..2b6de678 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -859,8 +859,9 @@ deletes the region corresponding to the proof sequence." (let ((start (span-start span)) (end (span-end span)) (kill (span-property span 'delete-me))) - (proof-set-locked-end start) - (proof-set-queue-end start) + (unless (proof-locked-region-empty-p) + (proof-set-locked-end start) + (proof-set-queue-end start)) (delete-spans start end 'type) (delete-span span) (if kill (delete-region start end)))) |