diff options
| author | David Aspinall | 2002-01-15 15:14:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 15:14:19 +0000 |
| commit | 44880a9e0486db03afbb462d62ccee67daf8881f (patch) | |
| tree | f0348eefd46a3fc6980305cad7902a599a5e66c5 | |
| parent | 81bc37ba8e26df936d3a09e02e6ed70f8b8804a8 (diff) | |
windows-of-buffer -> get-buffer-window-list GNU name
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index d1a579af..e023b43e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -486,7 +486,7 @@ Ensure that point is visible in window." ;; two-pane mode even if either one is used to "drive" the ;; scripting. ;; FIXME: would be better to deduce here which buffer - ;; we're displaying, and use windows-of-buffer to do + ;; we're displaying, and use get-buffer-window-list to do ;; something sensible. (if (and (not proof-dont-switch-windows) @@ -500,7 +500,7 @@ Ensure that point is visible in window." ;; (another hack which is mostly right) (set-window-buffer (next-window - (car-safe (windows-of-buffer proof-script-buffer)) + (car-safe (get-buffer-window-list proof-script-buffer)) 'ignoreminibuf) buffer) (set-window-buffer (selected-window) buffer)) (display-buffer buffer)) |