On Wed, 2011-07-13 at 08:43 -0500, Jack Norton wrote: > dexen deVries wrote: > >... > > in other words, all the widgets (menus included) of an app turned into > > margins when mouse's /not/ over those widgets. > > > > eeek! > Am I the only one who doesn't like this idea? I cannot stand programs > that change their visual representation based upon where the mouse is,
Isn't this a perfect case for letting the user set a parameter, depending upon his/her preference? Wes
