diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index eccb7f4b..7ebae6b8 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -204,6 +204,10 @@ scripting buffer may have an active queue span.") (defsubst proof-set-queue-endpoints (start end) "Set the queue span to be START, END." + (unless (or (eq buffer-undo-list t) + proof-allow-undo-in-read-only) + (setq buffer-undo-list + (undo-make-selective-list end (point-max)))) (span-set-endpoints proof-queue-span start end)) (defsubst proof-set-locked-endpoints (start end) |