[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch text filling
From: |
Stefan Kangas |
Subject: |
Re: Variable pitch text filling |
Date: |
Fri, 3 Dec 2021 10:53:13 -0800 |
Jim Porter <jporterbugs@gmail.com> writes:
> I think it's still an issue, and making the indicator "louder" for
> non-native EOL formats is probably still a good move.
Sorry if I'm repeating myself, but just showing nothing by default will
make it "louder" (more attention grabbing) when it is actually shown.
> Maybe it'd be enough to make the indicator for non-native EOL formats be
> a different color, or some other face property, like adding a bright box
> around it. That would still be attention-grabbing, but wouldn't change
> the size of the U:--- thing.
I think we should be careful to avoid a Christmas tree effect though.
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Jim Porter, 2021/12/02
- Re: Variable pitch text filling, Stefan Kangas, 2021/12/02
- RE: [External] : Re: Variable pitch text filling, Drew Adams, 2021/12/02
- Re: Variable pitch text filling, Jim Porter, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Po Lu, 2021/12/03
- Re: Variable pitch text filling, Jim Porter, 2021/12/03
- Re: Variable pitch text filling,
Stefan Kangas <=
- Re: Variable pitch text filling, Po Lu, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/03
- Re: Variable pitch text filling, Jim Porter, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Yuan Fu, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03