[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Box graphic tweak
From: |
Kenichi Handa |
Subject: |
Re: Box graphic tweak |
Date: |
Thu, 14 Oct 2010 13:51:55 +0900 |
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
- Box graphic tweak, Chong Yidong, 2010/10/08
- Re: Box graphic tweak, Eli Zaretskii, 2010/10/08
- Re: Box graphic tweak, Chong Yidong, 2010/10/08
- Re: Box graphic tweak, Miles Bader, 2010/10/08
- Re: Box graphic tweak, Chong Yidong, 2010/10/09
- Re: Box graphic tweak, Kenichi Handa, 2010/10/14
- RE: Box graphic tweak, Drew Adams, 2010/10/14
- Re: Box graphic tweak, Miles Bader, 2010/10/14
- Re: Box graphic tweak,
Kenichi Handa <=
- Re: Box graphic tweak, Chong Yidong, 2010/10/14
- RE: Box graphic tweak, Drew Adams, 2010/10/08