From b731fe71adfdb13546a10c15b73ae4a82f60beba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 Aug 2009 20:52:10 +0000
Subject: Prevent setting of proof-overlay-arrow if not configured

---
 generic/proof-script.el | 24 ++++++++++++++----------
 1 file changed, 14 insertions(+), 10 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index a482aea3..9890f2e6 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -237,22 +237,26 @@ scripting buffer may have an active queue span.")
 (defsubst proof-set-locked-endpoints (start end)
   "Set the locked span to be START, END."
   (span-set-endpoints proof-locked-span start end)
-  (set-marker proof-overlay-arrow 
-	      (save-excursion
-		(goto-char end)
-		(skip-chars-forward " \t\s\n")
-		(unless (eq (point) (point-max))
-		  (beginning-of-line)
-		  (point)))))
+  (and (markerp proof-overlay-arrow)
+       (set-marker proof-overlay-arrow 
+		   (save-excursion
+		     (goto-char end)
+		     (skip-chars-forward " \t\s\n")
+		     (unless (eq (point) (point-max))
+		       (beginning-of-line)
+		       (point))))))
 
 (defsubst proof-detach-queue ()
   "Remove the span for the queue region."
-  (and proof-queue-span (span-detach proof-queue-span)))
+  (and proof-queue-span 
+       (span-detach proof-queue-span)))
 
 (defsubst proof-detach-locked ()
   "Remove the span for the locked region."
-  (and proof-locked-span (span-detach proof-locked-span))
-  (set-marker proof-overlay-arrow nil))
+  (and proof-locked-span 
+       (span-detach proof-locked-span))
+  (and (markerp proof-overlay-arrow)
+       (set-marker proof-overlay-arrow nil)))
 
 (defsubst proof-set-queue-start (start)
   "Set the queue span to begin at START."
-- 
cgit v1.2.3