diff options
| author | David Aspinall | 2000-09-29 17:24:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 17:24:56 +0000 |
| commit | 615374cd94183bc1f3378928b6f2f17b522a51be (patch) | |
| tree | e654b34b5c6b0182187d076f62f50fa97867b68d | |
| parent | b88e60df1c96180660c1311454d4cd933fc6e8b7 (diff) | |
Non existent get-window-buffer -> get-buffer-window (how did that get through?)
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d633826e..cf04f998 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -24,7 +24,7 @@ If in three window or multiple frame mode, display both buffers." ((or proof-dont-switch-windows proof-multiple-frames-enable) ;; Display both (proof-switch-to-buffer proof-response-buffer 'noselect) - (set-window-point (get-window-buffer proof-response-buffer) + (set-window-point (get-buffer-window proof-response-buffer) (point-max)) (proof-switch-to-buffer proof-goals-buffer 'noselect)) ((and (buffer-live-p proof-response-buffer) @@ -34,7 +34,7 @@ If in three window or multiple frame mode, display both buffers." (t ;; Response buffer invisible, let's display it (proof-switch-to-buffer proof-response-buffer 'noselect) - (set-window-point (get-window-buffer proof-response-buffer) + (set-window-point (get-buffer-window proof-response-buffer) (point-max))))) |