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

[Per Abrahamsen <abraham@dina.kvl.dk>]

Richard Stallman <rms@gnu.org> writes:

>     3) The use of "raised" and "pressed" display does not seem to
>        correspond to any standardised look and feel I know of.
>
> 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.  I'm not sure a distinct mouse-over face is needed.
A change in mouse cursor type when the mouse is over a button is more
common in other application.