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