diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 12:05:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 12:05:10 +0000 |
commit | 9da1a0b7ecadbb18ee873cc66a46745bb3fa4dc2 (patch) | |
tree | 503807268a391f4fb96922c2b3a7647b50415dc2 /generic/proof-menu.el | |
parent | 4dcbdcc74ba47bf8851310d1b608ca12d378bdce (diff) |
Add Hide/Show to extra modes menu
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 2b59e3f6..fb6a6fc5 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -478,6 +478,12 @@ without adjusting window layout." :selected (and (boundp 'outline-minor-mode) outline-minor-mode) :help "Outline mode for folding [NB: option not saved]"] + ["Hide/Show" hs-minor-mode + :active (stringp (locate-library "hideshow")) + :style toggle + :selected (and (boundp 'hs-minor-mode) hs-minor-mode) + :help "Hide/Show mode for folding [NB: option not saved]"] + ["Speedbar" speedbar :active (stringp (locate-library "speedbar")) :style toggle |