From 5152120d3d9fb4d57fba65852fc1aedbb49511d0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 27 Sep 2009 18:14:19 +0000 Subject: Trace buffer: do not show this trace-output-regexp not set --- generic/proof-menu.el | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'generic/proof-menu.el') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 845c0d8e..55af2444 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -261,13 +261,10 @@ without adjusting window layout." ["Response" (proof-switch-to-buffer proof-response-buffer t) :active (buffer-live-p proof-response-buffer)] - ;; FIXME: next test doesn't work: menus are loaded before - ;; proof-shell-trace-output-regexp is set (in proof-shell hook). - ;; Should be better with simplified customization mechanism. - ;; ( if proof-shell-trace-output-regexp ... ) ["Trace" (proof-switch-to-buffer proof-trace-buffer) - :active (buffer-live-p proof-trace-buffer)] + :active (buffer-live-p proof-trace-buffer) + :visible proof-shell-trace-output-regexp] ["Shell" (proof-switch-to-buffer proof-shell-buffer) :active (buffer-live-p proof-shell-buffer)])) -- cgit v1.2.3