diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-06 20:52:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-06 20:52:10 +0000 |
commit | b731fe71adfdb13546a10c15b73ae4a82f60beba (patch) | |
tree | 8886452bf4ce68b15448c59931738eacb6590774 /generic | |
parent | bcc24dcb0258368f736dd016fdb74824c79e7b2c (diff) |
Prevent setting of proof-overlay-arrow if not configured
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 24 |
1 files changed, 14 insertions, 10 deletions
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." |