Re: address@hidden: (minor) mouse-1 does not "depress" widget button]

[Chong Yidong]

"Richard M. Stallman" <address@hidden> writes:

> Can someone please take care of this, and ack?
> Perhaps it is a matter of changing how buttons handle mouse-1.
>
> From: M Jared Finder <address@hidden>
> Subject: (minor) mouse-1 does not "depress" widget button
> To: address@hidden
>
> If you press mouse-2 on a widget button, the widget depresses to
> show it is being clicked.  mouse-1 does not act similarly; I'd
> expect it to.
>
> This is very minor, but should also be very simple to fix.

Done.

(For some reason, you may have to do a bootstrap for this to take
effect.)