From 9bad6a179dc0e66965eebf40b6a92a13ab75d9e9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 30 Jul 2009 15:39:40 +0000
Subject: Add proof-colour-locked option to leave locked region background
 uncoloured.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 1f554f39..cc437eb5 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -294,13 +294,20 @@ Also clear list of script portions."
   (span-set-property proof-locked-span 'start-closed t)
   (span-set-property proof-locked-span 'end-open t)
   (proof-span-read-only proof-locked-span)
-  (span-set-property proof-locked-span 'face 'proof-locked-face)
+  (if proof-colour-locked
+      (span-set-property proof-locked-span 'face 'proof-locked-face))
   (span-detach proof-locked-span)
   (setq proof-last-theorem-dependencies nil)
   (setq proof-element-counters nil)
   (pg-clear-script-portions)
   (pg-clear-input-ring))
 
+;;;###autoload
+(defun proof-colour-locked ()
+  (interactive)
+  (if proof-colour-locked
+      (span-set-property proof-locked-span 'face 'proof-locked-face)
+    (span-set-property  proof-locked-span 'face nil)))
 
 ;; ** Restarting and clearing spans
 
-- 
cgit v1.2.3