From acf934287733846216e54c976d2b41a3bee85b2c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 00:01:04 +0000
Subject: Disable undo in read-only region; add proof-allow-undo-in-read-only
 setting

---
 generic/proof-script.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'generic/proof-script.el')

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)
-- 
cgit v1.2.3