Re: Customize interface: The use of "boxed" buttons

[Per Abrahamsen]

Richard Stallman <address@hidden> writes:

>     > How would you suggest implementing a look for pressed and unpressed
>     > buttons?
>
>     The look is fine, it is how it is used.  The pressed button look is,
>     in other GUI's, used when the button is pressed, i.e. on mouse-down
>     not on mouse-over.
>
> So you're saying that simply removing the mouse-face would make
> it better?

Yes.  Or change it to a "raised button" face with a lighter color
tone, as Paul Pogonyshev suggested.

It would be nice also to switch to the pressed-button face on
mouse-down, but that would be more work.