From f3c331b28eb79a08131df723444eb0ebfc7452c2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 21:49:20 +0000
Subject: Generalise proof elements to include comments, show/hiding of
 comments.

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

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index de74e24b..763d4e89 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -165,6 +165,15 @@ If in three window or multiple frame mode, display both buffers."
     ["Send Bug Report" proof-submit-bug-report t])
   "Proof General help menu.")
 
+(defvar proof-show-hide-menu
+  '(("Show all"
+     ["Proofs"    (pg-show-all-portions "proof") t]
+     ["Comments"  (pg-show-all-portions "comment") t])
+    ("Hide all"
+     ["Proofs"    (pg-show-all-portions "proof" 'hide) t]
+     ["Comments"  (pg-show-all-portions "comment" 'hide) t]))
+  "Show/hide submenu.")
+
 (defvar proof-buffer-menu
   (cons "Buffers"
 	(append
@@ -194,6 +203,7 @@ If in three window or multiple frame mode, display both buffers."
 	      :active (buffer-live-p proof-trace-buffer)])))
   "Proof General buffer menu.")
 
+
 ;; Make the togglers used in options menu below
 
 (proof-deftoggle proof-three-window-mode)
@@ -308,6 +318,7 @@ If in three window or multiple frame mode, display both buffers."
   (cons proof-general-name
 	(append
 	 proof-toolbar-scripting-menu
+	 proof-show-hide-menu
 	 proof-menu
 	 proof-config-menu
 	 (list proof-help-menu)))
-- 
cgit v1.2.3