diff options
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)))) |