Re: Box graphic tweak

[Chong Yidong]

Kenichi Handa <address@hidden> writes:

>> The default mode-line has width 1, so it's unaffected.  Setting the
>> width to 2, the result still also looks reasonable; see attached.
>
> ??? The default box's line-width of mode-line is -1 to make the
> height of the mode-line the same as the other default lines.

Indeed, my mistake.  Anyhow, all line-widths less than 2 should be
displayed as before (apart from the four corner pixels).