diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 8 |
1 files changed, 5 insertions, 3 deletions
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 |