[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature requ
From: |
Robert Pluim |
Subject: |
Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request |
Date: |
Mon, 25 Oct 2021 11:59:04 +0200 |
>>>>> On Mon, 25 Oct 2021 11:21:50 +0200, Stefan Kangas <stefan@marxist.se>
>>>>> said:
Stefan> Robert Pluim <rpluim@gmail.com> writes:
>> BTW, I tried using 'substitute-command-keys' to do this, since itʼs
>> more elegant, but it gave an unusual result for undo:
>>
>> (substitute-command-keys "\\<undo-repeat-map>\\[undo]")
>> =>#("C-x u" 0 5
>> (font-lock-face help-key-binding face help-key-binding))
Stefan> That looks like a bug to me.
Reported as bug#51384
Robert
--
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Kangas, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request,
Robert Pluim <=
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Andreas Schwab, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Monnier, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Monnier, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Monnier, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25