diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:28:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:28:17 +0000 |
commit | 08599bb05f7ecb49f83d1e9932df012b1b5bcd06 (patch) | |
tree | f10ad6c3e577dabde8d9aca550559648afd62cd8 /generic | |
parent | a8b86f207ebb3beaf75b8a8851a359d54057c3ca (diff) |
proof-colour-locked: complete implementation
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 3 | ||||
-rw-r--r-- | 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 |