diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:01:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:01:04 +0000 |
| commit | acf934287733846216e54c976d2b41a3bee85b2c (patch) | |
| tree | 33d54e4ca486bb0579b36f54096725bf58afa1e7 /generic/proof-script.el | |
| parent | 5a0a065bd26b2338bb78afdc4e160bef7752f839 (diff) | |
Disable undo in read-only region; add proof-allow-undo-in-read-only setting
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) |