diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-03 00:24:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-03 00:24:11 +0000 |
commit | e19e6d8c98141f52852eb84eb222a524a82481e2 (patch) | |
tree | 14ccef4fdf9bc59791b9fa5805edac8297bad698 /generic/proof-menu.el | |
parent | b345b5a20680046d40fd99f8844be3b35dbb0726 (diff) |
Rework script span element hiding to avoid buffer-invisibility-spec. Add command elements.
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d323e0a9..9efe56aa 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -233,11 +233,13 @@ without adjusting window layout." (defvar proof-show-hide-menu '(("Show All" - ["Proofs" (pg-show-all-portions "proof") t] - ["Comments" (pg-show-all-portions "comment") t]) + ["Proofs" (pg-show-all-portions 'proof) t] + ["Commands" (pg-show-all-portions 'command) 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])) + ["Proofs" (pg-show-all-portions 'proof 'hide) t] + ["Commands" (pg-show-all-portions 'command 'hide) t] + ["Comments" (pg-show-all-portions 'comment 'hide) t])) "Show/hide submenu.") (defvar proof-buffer-menu |