GNU bug report logs - #70134
[PATCH] Show all date options when adding Gnus scores interactively

Previous Next

Full log

View this message in rfc822 format

From: Jakub Ječmínek <kuba <at> kubajecminek.cz>
To: Eric Abrahamsen <eric <at> ericabrahamsen.net>
Cc: "70134 <at> debbugs.gnu.org" <70134 <at> debbugs.gnu.org>, Eli Zaretskii <eliz <at> gnu.org>, "larsi <at> gnus.org" <larsi <at> gnus.org>, Alex Bochannek <alex <at> bochannek.com>, Richard Stallman <rms <at> gnu.org>
Subject: bug#70134: [PATCH] Show all date options when adding Gnus scores interactively
Date: Sun, 26 May 2024 14:22:51 +0000

"Eric Abrahamsen" <eric <at> ericabrahamsen.net> writes:

> Can we maybe hoist the `copy-sequence` up into the caller, to get a
> similar effect?

We can strip the text properties right before the end of
`gnus-score-date' function.  What do you think?


-- 
Kuba Ječmínek (http://kubajecminek.cz)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.