From 023957c67a1e3f433372adeb156406b6b89dddc8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 00:40:29 +0000
Subject: proof-set-queue-endpoints: only use undo-discarding function if
 undo-make-selective-list is available (not on XEmacs).

---
 generic/proof-script.el | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7ebae6b8..3cd6a968 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -202,13 +202,19 @@ scripting buffer may have an active queue span.")
        (proof-span-read-only proof-locked-span))))
 
    
-(defsubst proof-set-queue-endpoints (start end)
-  "Set the queue span to be START, END."
+(cond
+ ((boundp 'undo-make-selective-list)
+  (defsubst proof-set-queue-endpoints (start end)
+  "Set the queue span to be START, END. Discard undo for edits before 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))
+  (span-set-endpoints proof-queue-span start end)))
+ (t
+  (defsubst proof-set-queue-endpoints (start end)
+  "Set the queue span to be START, END."
+  (span-set-endpoints proof-queue-span start end))))
 
 (defsubst proof-set-locked-endpoints (start end)
   "Set the locked span to be START, END."
-- 
cgit v1.2.3