From 9da1a0b7ecadbb18ee873cc66a46745bb3fa4dc2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Sep 2009 12:05:10 +0000
Subject: Add Hide/Show to extra modes menu

---
 generic/proof-menu.el | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3