diff options
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 |