|
From: | Jim Porter |
Subject: | Re: min-width display property, but with padding at the start |
Date: | Tue, 20 Aug 2024 12:46:24 -0700 |
On 8/20/2024 6:28 AM, Eli Zaretskii wrote:
That is probably what I'll do if I can't find another solution, but doing it with display properties works with non-fixed-width characters and faces, which a user might have configured.
[snip]
Are there many people who use variable-pitch fonts on the mode line?
For what it's worth, I could see 'visual-wrap-line-mode' + SHR/EWW using this. If I make an ordered list like so,
1. Here is some text 2. Here is some more ... 10. Here is even morethe two-digit items won't line up. It's not hard to compute the max number of characters for the numbers, but then you'd end up with:
1. Here is some text ... 10. Here is even moreIt'd be nice to right-align the numbers. As you mention up-thread, we could do this today via 'format', but that only works because SHR currently uses a fixed-pitch font for item numbers no matter what. (I'd like to change that so the fonts in EWW are consistent.)
That's not to say we need to add this feature; but if it existed already, I'd probably be tinkering with it right now. :)
[Prev in Thread] | Current Thread | [Next in Thread] |