martin rudalics <rudalics@gmx.at> writes:

>> What about this?
>
> Don't like it.  Did you test it with a non-GTK toolkit?

No, that would have been far too clever.

What about this instead: