[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15925: 24.3.50; error when customizing whitespace-display-mappings
From: |
Mauro Aranda |
Subject: |
bug#15925: 24.3.50; error when customizing whitespace-display-mappings |
Date: |
Fri, 25 Sep 2020 11:32:41 -0300 |
How does the attached patch look? I didn't include changes for the rest
of the escape sequences, because of Eli's objections.
The reason I used the notify function is because it is much simpler than
rebinding insertion commands and having to copy some of the
functionality. And I don't think the change in the calls to the notify
function for editable-field widgets (and descendants) will be much of a
problem. I looked for functions that assume EVENT is nil and found
none, nor in-tree or in third-party packages.
0001-Display-some-character-widget-values-in-a-more-user-.patch
Description: Text Data
- 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, 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, 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 <=
- 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
- bug#15925: 24.3.50; error when customizing whitespace-display-mappings, Lars Ingebrigtsen, 2020/09/26