[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add history to Custom commands
From: |
Stefan Monnier |
Subject: |
Re: [PATCH] Add history to Custom commands |
Date: |
Fri, 21 Jan 2022 22:47:44 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Ivan Sokolov [2022-01-22 04:52:54] wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> Maybe a more direct fix is to improve Custom so it does provide a proper
>> `revert-buffer-function`?
> That was the idea, but turns out that you had already done it last July.
Hmm... too bad I didn't notify myself when I did.
Oh, I see I did it while I was masquerading as Lars,
that explains it ;-)
Stefan