[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters
From: |
Eli Zaretskii |
Subject: |
bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters |
Date: |
Sat, 27 Jul 2019 14:20:31 +0300 |
> From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, Stefan Monnier
> <monnier@iro.umontreal.ca>, Drew Adams <drew.adams@oracle.com>, Noam
> Postavsky <npostavs@gmail.com>
> Date: Fri, 12 Jul 2019 17:10:26 +0200
>
> I have now added '^' markers below the highlighted command, on condition
> that the echo area is wide enough not to wrap lines.
>
> Do we want to add some customizability (highlight face, whether or not
> to display '^' markers), or is this good enough for now?
>
>
> The patch series now includes:
>
> - two patches to make y-or-n-p preserve text properties and implement an
> initial version of highlighting,
> - Noam's refactoring patch, plus fixups,
> - one patch to add '^' markers,
> - one last patch to make tests less tedious to maintain.
Any more comments, anyone?
Is there anything in these changes that would warrant a NEWS entry?
Thanks.
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Kévin Le Gouguec, 2019/07/03
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Kévin Le Gouguec, 2019/07/12
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters,
Eli Zaretskii <=
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Kévin Le Gouguec, 2019/07/27
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Michael Heerdegen, 2019/07/27
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Michael Heerdegen, 2019/07/28
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Juri Linkov, 2019/07/29
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Kévin Le Gouguec, 2019/07/29
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Basil L. Contovounesios, 2019/07/27
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Kévin Le Gouguec, 2019/07/27
- bug#35564: [PATCH v4] Tweak dired warning about "wildcard" characters, Basil L. Contovounesios, 2019/07/27