Re: Box graphic tweak

[Kenichi Handa]

In article <address@hidden>, Chong Yidong <address@hidden> writes:

> > It looks reasonable in your picture, but remember that the "button"
> > attribute is also commonly used for mode-lines.

> 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.

---
Kenichi Handa
address@hidden