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-menu.el | |
| parent | 0807465a5df24660343ae51fb14983567ad39cf6 (diff) | |
Add proof-colour-locked option to leave locked region background uncoloured.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 55c8e5a7..b0e774e6 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -264,6 +264,7 @@ without adjusting window layout." (proof-deftoggle proof-auto-raise-buffers proof-auto-raise-toggle) (proof-deftoggle proof-disappearing-proofs) (proof-deftoggle proof-strict-read-only) +(proof-deftoggle proof-colour-locked) (proof-deftoggle-fn 'proof-imenu-enable 'proof-imenu-toggle) (proof-deftoggle proof-keep-response-history) @@ -391,7 +392,11 @@ without adjusting window layout." :active (not proof-multiple-frames-enable) :style toggle :selected proof-shrink-windows-tofit - :help "Dynamically shrink size of output panes to fit contents"]) + :help "Dynamically shrink size of output panes to fit contents"] + ["Colour locked" proof-colour-locked + :style toggle + :selected proof-colour-locked + :help "Use decoration of locked region"]) ("Follow Mode" ["Follow Locked Region" (customize-set-variable 'proof-follow-mode 'locked) |