[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: |
Thu, 2 Dec 2021 13:19:39 -0800 |
Jim Porter <jporterbugs@gmail.com> writes:
> How bad would it look if the U:--- thing specifically were fixed width
> by default, even if the rest of the mode line used a variable-width
> font?
Another idea is to think about using SVG icons for (some?) of this
information on graphical displays. I have no idea how viable this is,
but I'm putting the idea out there (unless someone already did?). In
any case, I hope to set aside some time to finish up icons.el over the
holidays, and once that is done it should be easy to play around with it
to see if we can come up with something.
Yet another idea is to just not display anything in some states. For
example, I almost always edit Unicode files with Unix line endings, so I
would only want an indication if this is *not* the case. Maybe this is
different on other platforms, but I expect this is fairly typical on
GNU/Linux at least. Similarly, maybe we don't need to show any
indicator at all until a buffer is modified?
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/01
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/01
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/03
- Re: Variable pitch text filling, Jim Porter, 2021/12/02
- Re: Variable pitch text filling,
Stefan Kangas <=
- 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, 2021/12/03
- 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