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