Re: pop-up tool-bar

[Stefan]

> The fix was to scroll the buffer (window) `tool-bar-lines' to compensate for
> the window movement. This scrolling happens for mouse events only, since
> other events do not cause the problem (and you don't want to scroll the
> buffer each time you click a tool-bar button).

This kind of really super ugly nasty brittle dark hack should be kept for
extreme circumstances where there's really no other possible option.
What else have you tried?


        Stefan