[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: |
Alex Bochannek |
Subject: |
bug#70134: [PATCH] Show all date options when adding Gnus scores interactively |
Date: |
Tue, 14 May 2024 11:43:54 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eric,
Eric Abrahamsen <eric@ericabrahamsen.net> writes:
> Alex Bochannek <alex@bochannek.com> writes:
>
>> Jakub,
>>
>> I see that your changes to gnus-score.el have been committed, but not
>> the one you proposed to gnus-util.el yet. Let me know if you need me to
>> test anything!
>
> The commit from February was a different issue in the same area --
> nothing from this bug report has been committed yet.
You are absolutely correct, of course, I mistook the log entry and
changes in that commit for what we are discussing here.
I have done some more testing with a fresh build and the most recent
patch works as Jakub intends. I would like to suggest to add a change to
(gnus) Summary Score Commands to include the new match types. Otherwise,
I believe this patch is good to go.
I don't think I have commit rights, by the way (usually larsi or eliz
did them for me), but I would be more than happy to do so if someone can
point me at instructions.
diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi
index c5e4c885ccf..56f259db9a1 100644
--- a/doc/misc/gnus.texi
+++ b/doc/misc/gnus.texi
@@ -20093,6 +20093,9 @@ Summary Score Commands
@item date
@table @kbd
+@item r
+Regexp matching.
+
@item b
Before date.
@@ -20101,6 +20104,12 @@ Summary Score Commands
@item n
This date.
+
+@item <
+Less than days.
+
+@item >
+Greater than days.
@end table
@item number
--
Alex.
- 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, 2024/05/10
- 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 <=
- 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
bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/26
bug#70134: [PATCH] Show all date options when adding Gnus scores interactively, Jakub Ječmínek, 2024/05/29