diff options
| author | David Aspinall | 2009-07-30 15:39:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-07-30 15:39:40 +0000 |
| commit | 9bad6a179dc0e66965eebf40b6a92a13ab75d9e9 (patch) | |
| tree | c02a15d95c244252bb99df4a1f301c7d0dd475fc /generic/proof-script.el | |
| parent | 0807465a5df24660343ae51fb14983567ad39cf6 (diff) | |
Add proof-colour-locked option to leave locked region background uncoloured.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 9 |
1 files changed, 8 insertions, 1 deletions
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 |