[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch text filling
From: |
Po Lu |
Subject: |
Re: Variable pitch text filling |
Date: |
Fri, 03 Dec 2021 15:14:24 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.60 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> Cc: emacs-devel@gnu.org
>> From: Jim Porter <jporterbugs@gmail.com>
>> Date: Thu, 2 Dec 2021 14:32:08 -0800
>>
>> That said, I forgot to mention the most obvious case where the default
>> Emacs configuration already changes the width of elements of the U:---
>> thing: the newline indicator. For example, DOS newlines are indicated
>> via U(DOS)---. (Unless you're on a Windows/DOS system, that is.)
>>
>> I use single-character indicators so that it's easier to cycle through
>> them without clicking on the wrong thing. The default is probably easier
>> to understand for new users, but I find it pretty annoying. Switching to
>> icons here would be a nice improvement if they were all the same width.
> It was deliberately designed to annoy and attract attention, because I
> was told back then that users might otherwise miss an indication
> that's telling them the file has an unusual (a.k.a. "foreign") EOL
> format. If this is no longer an issue nowadays, we could change the
> default to be one-character no matter what is the platform.
FWIW it saved me from checking in files with the wrong type of EOL a few
times today.
So I think it is still a relevant problem.
- Re: Variable pitch text filling, (continued)
- 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, 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 <=
- 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
- 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