diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-05-28 12:52:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-28 12:52:47 +0000 |
commit | 5cdee603deac6680e32334243b471d7af946ee17 (patch) | |
tree | c28eb5e02af6af50b740f16195f65b859ae2ecbe /generic/proof-script.el | |
parent | 48965b4c1f857ca45a415637bde4893b3bc41706 (diff) |
proof-strict-read-only: only alter locked span if live (bug fix)
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 161dadcc..76008f11 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -217,8 +217,10 @@ scripting buffer may have an active queue span.") ;; since the queue is constructed ahead of time, that wouldn't ;; work. (Better might be to refactor so that the region is ;; parsed as we go) - (proof-map-buffers (proof-buffers-in-mode proof-mode-for-script) - (proof-span-read-only proof-locked-span))) + (proof-map-buffers + (proof-buffers-in-mode proof-mode-for-script) + (if (span-live-p proof-locked-span) + (proof-span-read-only proof-locked-span)))) (defsubst proof-set-queue-endpoints (start end) |