[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15925: 24.3.50; error when customizing whitespace-display-mappings
From: |
Lars Ingebrigtsen |
Subject: |
bug#15925: 24.3.50; error when customizing whitespace-display-mappings |
Date: |
Thu, 24 Sep 2020 16:38:42 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Mauro Aranda <maurooaranda@gmail.com> writes:
> Yes. I think there were two suggestions, which if I'm not mistaken can
> be summarized as:
> - Display newline as \n, tab as \t, etc.
> - Display newline as C-j (or ?\\C-j, or \\C-j, etc), tab as C-i, etc.
>
> To those suggestions, I add one of mine:
> - Display newline as ^J, tab as ^I, etc.
>
> That is what Isearch does, and I think it would not be much of a
> trouble to implement that. Furthermore, we already display other
> non-printable characters like that, so my suggestion would just
> change newline and tab, I think.
Isearch is a bit special here (being interactive)...
My guess is that more people understand that \n is newline than people
remember that ^J is newline. (The same goes for \t/^I, but probably to
a lesser degree.)
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/22
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Lars Ingebrigtsen, 2020/09/23
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/23
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings,
Lars Ingebrigtsen <=
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/24
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/24
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Lars Ingebrigtsen, 2020/09/25
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Eli Zaretskii, 2020/09/25
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Drew Adams, 2020/09/25
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/25
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/25
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Lars Ingebrigtsen, 2020/09/26
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Lars Ingebrigtsen, 2020/09/26
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Mauro Aranda, 2020/09/26