diff options
| -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))))) |