aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2009-08-07 14:28:17 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2009-08-07 14:28:17 +0000
commit08599bb05f7ecb49f83d1e9932df012b1b5bcd06 (patch)
treef10ad6c3e577dabde8d9aca550559648afd62cd8 /generic
parenta8b86f207ebb3beaf75b8a8851a359d54057c3ca (diff)
proof-colour-locked: complete implementation
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-menu.el3
-rw-r--r--generic/proof-script.el8
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