From 08599bb05f7ecb49f83d1e9932df012b1b5bcd06 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Aug 2009 14:28:17 +0000
Subject: proof-colour-locked: complete implementation

---
 generic/proof-menu.el   | 3 ++-
 generic/proof-script.el | 8 +++++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 161b7d40..300bae60 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -393,7 +393,7 @@ without adjusting window layout."
        :style toggle
        :selected proof-shrink-windows-tofit
        :help "Dynamically shrink size of output panes to fit contents"]
-      ["Colour locked" proof-colour-locked
+      ["Colour Locked" proof-colour-locked-toggle
        :style toggle
        :selected proof-colour-locked
        :help "Use decoration of locked region"])
@@ -468,6 +468,7 @@ without adjusting window layout."
    'proof-multiple-frames-enable
    'proof-shrink-windows-tofit
    'proof-multiple-frames-enable
+   'proof-colour-locked
    ;; Follow mode sub-menu
    'proof-follow-mode
    ;; Deactivate scripting action
diff --git a/generic/proof-script.el b/generic/proof-script.el
index 9890f2e6..3fd3ee89 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -321,9 +321,11 @@ Also clear list of script portions."
 ;;;###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)))
+  (proof-map-buffers (proof-buffers-in-mode proof-mode-for-script)
+   (and (span-live-p proof-locked-span)
+    (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