Re: pop-up tool-bar

[Stefan Monnier]

> The idea is to _conserve frame real estate_ but still have quick access to
> the tool-bar: No reason to have a tool-bar on each frame. No reason to have
> a tool-bar visible all the time; just pop it up when you need it.

The way I see it, the "Tool Bar button" should be the menubar itself, so
that whenever the mouse moves into the menubar area, the toolbar pops up (or
slides down ;-).

The same could be done to the menu bar.  This "auto hide" trick is one of
the rare developments in GUI-stuff that I find interesting (not that it's
new, tho: it's basically the same as the "pop up scrollbars" of SmallTalk).


        Stefan