Enrico Forestieri schrieb:
On Mon, Dec 04, 2006 at 12:10:29PM -0600, Bo Peng wrote:
But anyway, the colors are configurable...
Ok, I'll try that.
I guess thicker frame plus a more prominent frame color (purple?) will
fit your need? I am open to such changes to make these buttons appeal
to 80% of the users (if we are at 50% now, and 100% is not possible).
Actually, I achieve the desired goal by making a little darker the
button background ;-)
With the default settings, it is hard to distinguish a label inset from
an ERT insert. I think we have to change the default settings in order
to satisfy 80% of the users.
BTW: Would it be too demanding if I ask for rounded boxes?
Michael
