Re: Box graphic tweak

[Kenichi Handa]

In article <address@hidden>, "Drew Adams" <address@hidden> writes:

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

> And I tried to stress that a setting of -1 is important,

Ah, I didn't read the other mails of the thread.

> and that users need to
> be able to adjust whatever new boxing features we might add:

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

---
Kenichi Handa
address@hidden