From mboxrd@z Thu Jan  1 00:00:00 1970
From: Wes Kussmaul <wes@authentrus.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
In-Reply-To: <4E1DA117.2030307@0x6a.com>
References: <CAM6ozu7E2kmCgVZt9Ei0qnj1sTvPZ7hc64qqf=qRodNARK6cLQ@mail.gmail.com>
	<201107121631.05140.dexen.devries@gmail.com>
	<20110712155612.5b174266@lahti.ethans.dre.am>
	<201107121726.29100.dexen.devries@gmail.com>
	<4E1DA117.2030307@0x6a.com>
Content-Type: text/plain; charset="UTF-8"
Date: Wed, 13 Jul 2011 10:16:06 -0400
Message-ID: <1310566566.1696.48.camel@Wes-Toshiba-Laptop>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] interesting(?) widgets idea
Topicbox-Message-UUID: 00fce5ce-ead7-11e9-9d60-3106f5b1d025

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