diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 18:14:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 18:14:19 +0000 |
commit | 5152120d3d9fb4d57fba65852fc1aedbb49511d0 (patch) | |
tree | 1ca2210b66672542e771303d82ca7cd6a2a2c79a /generic/proof-menu.el | |
parent | 28d81fd2ff90e6173087d6a2b657f72c3fa00fa2 (diff) |
Trace buffer: do not show this trace-output-regexp not set
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 7 |
1 files changed, 2 insertions, 5 deletions
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)])) |