diff options
| author | David Aspinall | 2004-04-15 16:15:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 16:15:11 +0000 |
| commit | 2a4d9b5fb58a3e2407290be19cc7bba850b6d3c4 (patch) | |
| tree | ffc4eafcb9598c162ef461eef0a8a1c64b39226a | |
| parent | f423f145c4f1a35192914ad65f030d215dd5d136 (diff) | |
Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)
| -rw-r--r-- | generic/proof-menu.el | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index bd04e59c..01446adf 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -216,36 +216,36 @@ without adjusting window layout." (defvar proof-buffer-menu (cons "Buffers" - '(;;["Active Scripting" - ;; (proof-switch-to-buffer proof-script-buffer) - ;; :active (buffer-live-p proof-script-buffer)] - ["Layout Windows" - proof-layout-windows] - ["Rotate Output Buffers" - proof-display-some-buffers - :active (buffer-live-p proof-goals-buffer)] - ;;["Goals" - ;; (proof-switch-to-buffer proof-goals-buffer t) - ;; :active (buffer-live-p proof-goals-buffer)] - ;;["Response" - ;; (proof-switch-to-buffer proof-response-buffer t) - ;; :active (buffer-live-p proof-response-buffer)] - ["Show Shell" - (proof-switch-to-buffer proof-shell-buffer) - :active (buffer-live-p proof-shell-buffer)] - ;; FIXME: this next test doesn't work since menus - ;; 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)]) - ["Clear Responses" - pg-response-clear-displays - :active (buffer-live-p proof-response-buffer)])) + '(["Layout Windows" + proof-layout-windows] + ["Rotate Output Buffers" + proof-display-some-buffers + :active (buffer-live-p proof-goals-buffer)] + ["Clear Responses" + pg-response-clear-displays + :active (buffer-live-p proof-response-buffer)] + "----" + ["Active Scripting" + (proof-switch-to-buffer proof-script-buffer) + :active (buffer-live-p proof-script-buffer)] + ["Goals" + (proof-switch-to-buffer proof-goals-buffer t) + :active (buffer-live-p proof-goals-buffer)] + ["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)] + ["Shell" + (proof-switch-to-buffer proof-shell-buffer) + :active (buffer-live-p proof-shell-buffer)])) "Proof General buffer menu.") - + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |