Re: question about pop-to-buffer

[martin rudalics]

> And you
> currently can't set the size of the first window at some side because
> there's a bug in `display-buffer-in-major-side-window' :-(

This has been fixed now, hopefully.

> (pop-to-buffer
>  (get-buffer-create "*toto*")
>  `(display-buffer-in-side-window . ((side . top) (size . ,(/
> (window-total-size (selected-window)) 2)) (slot . 0))))

You now have to use something like

(pop-to-buffer
 (get-buffer-create "*toto*")
 `(display-buffer-in-side-window . ((side . top) (window-height . ,(/ 
(window-total-size (selected-window)) 2)) (slot . 0))))

martin