diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 13:37:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 13:37:58 +0000 |
| commit | bee3d443019692c8c67edf1b0ae5895171bc8ecd (patch) | |
| tree | dc5ea3537b85f12025a0b743f5e0ae738066c20f /generic/proof-menu.el | |
| parent | 9f5a0a3814b00df9c7c393831db986ae18f8704b (diff) | |
Add hint to C-c C-l; cleanup hints, add menu for C-c C-l
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 35fca76d..daa5bdc3 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -67,9 +67,8 @@ without adjusting window layout." (if (eq selectedbuf proof-response-buffer) (set-window-point (get-buffer-window proof-response-buffer t) (point-max))) - (unless (or proof-three-window-enable proof-multiple-frames-enable) - ;; The hint only makes sense in two-window mode, really. - (pg-hint (pg-response-buffers-hint (buffer-name nextbuf)))))))) + (pg-hint (pg-response-buffers-hint (buffer-name nextbuf))))))) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -315,6 +314,7 @@ without adjusting window layout." :style toggle :selected proof-toolbar-enable] ("Display" + ["Layout windows" proof-layout-windows] ["Use Three Panes" proof-three-window-toggle :active (not proof-multiple-frames-enable) :style toggle |