[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70134: [PATCH] Show all date options when adding Gnus scores interac
From: |
Eric Abrahamsen |
Subject: |
bug#70134: [PATCH] Show all date options when adding Gnus scores interactively |
Date: |
Fri, 10 May 2024 14:27:58 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Jakub Ječmínek via "Bug reports for GNU Emacs, the Swiss army knife of
text editors" <bug-gnu-emacs@gnu.org> writes:
> Apologies for the formatting, I’m writing this reply from my phone.
>
>> And sure enough, the modification of the string is the point -- it's a
>> cache! From gnus-sum.el:
>>
>> ; Since this is called not only to sort the top-level threads, but
>> ; also in recursive sorts to order the articles within a thread, each
>> ; article will be processed many times. Thus it speeds things up
>> ; quite a bit to use gnus-date-get-time, which caches the time value.
>> (defun gnus-thread-latest-date (thread)
>> "Return the highest article date in THREAD."
>> (apply #'max
>> (mapcar (lambda (header) (float-time
>> (gnus-date-get-time
>> (mail-header-date header))))
>> (flatten-tree thread))))
>>
>> Can we strip properties around the call, maybe?
>
> I don’t think there’s need to do that. The change that I proposed in
> the patch should remove the unintended side effect (and thus fix the
> bug pointed by Alex) while keeping the caching behaviour intact
> (‘gnus-thread-latest-date’ code above will work as expected).
Okay, thanks. I won't mess with it, then.
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/01
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Alex Bochannek, 2024/05/06
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/09
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Eric Abrahamsen, 2024/05/09
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Eric Abrahamsen, 2024/05/10
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/10
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively,
Eric Abrahamsen <=
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Alex Bochannek, 2024/05/13
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Eric Abrahamsen, 2024/05/14
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Alex Bochannek, 2024/05/14
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/14
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Eric Abrahamsen, 2024/05/16
- bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/16