|
From: | Daniel Colascione |
Subject: | Re: Variable-width font indentation |
Date: | Tue, 6 Mar 2018 12:20:53 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 03/06/2018 12:18 PM, Eli Zaretskii wrote:
Date: Tue, 6 Mar 2018 09:55:16 -0800 From: address@hidden Cc: "Daniel Colascione" <address@hidden>, address@hidden, address@hidden, address@hiddenYou mean, save it to a disk file? I think we should insert the number of blanks to align stuff with fixed-pitch font, so that it looks well with those fonts. If we want to preserve the display properties across sessions, we could use enriched-text-mode, I think.I don't think there's any clean way to embed this alignment information in arbitrary program text though.No, it would be necessary to reconstruct it. But any solution that uses text properties will have the same problem. And I don't quite see how we can align text rendered with variable-pitch font without something like that.
Right. The leading-indentation case is *barely* feasible, if you imagine that modes can accurately indent all lines automatically. I don't see a path toward internal alignment, since there's no algorithmic way to disambiguate spacing. The closest thing would be something like align-regexp, and even this facility requires manual intervention.
[Prev in Thread] | Current Thread | [Next in Thread] |