RE: Box graphic tweak

[Drew Adams]

> >> I just made a tweak to the way 3D boxes are drawn, to make 
> >> them more legible.
> >
> > Can you tell more?  What should be the differences as result of this
> > change?  Perhaps screen snapshots will be useful.
> 
> Here is a before/after image of a button.  The outermost line 
> of the top and left surface of the button is drawn using the black 
> relief, so that it is visible on bright backgrounds.

FWIW - It looks a bit worse, not better, to me (just one opinion). But it's hard
to judge out of context (e.g. buttons in Customize, mode line/header text,
etc.).  My guess is that in some contexts it might be an improvement and in
others it would not be appropriate.

More importantly, such an appearance difference should in any case be under user
control - just as users can today control the box outline width and even whether
it extends outside the char size or within it (using a negative width).  It must
not be forced.

IOW, if you would like to make such a feature available to users, great, but it
should be as optional as the other `box' attributes.

(The ability to use a negative box width is important, BTW, and your new feature
should not force a boxed char to always be larger than a normal char - there
needs to be some way to control the overall size.  I run into this for example
in places where a window height automatically gets increased by one line to
accommodate the extra pixel(s) coming from an outside-char box.  Using a
negative box width takes care of that annoyance.)