[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread
From: |
Robert Pluim |
Subject: |
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
Date: |
Wed, 20 Nov 2019 13:37:44 +0100 |
>>>>> On Wed, 20 Nov 2019 12:55:45 +0100, Michael Albinus
>>>>> <michael.albinus@gmx.de> said:
Michael> Lars Ingebrigtsen <larsi@gnus.org> writes:
>> That wouldn't be very difficult to add to debbugs-gnu, actually. It
>> already has the concept of "marked" bugs, so there could be a command
>> like, say, `debbugs-gnu-show-marked' that just shows that list of bugs.
Michael> Patches welcome :-)
Michael> I'm not so fluid in writing gnus patches, so don't count on me.
Doesnʼt this already exist?
M-x debbugs-gnu
Hit 't' on the bugs that youʼre interested in
quit debbugs
M-x debbugs-gnu
Erase the default severities, say 'tagged', then hit RET at the next prompt
Hey presto, debbugs-gnu with only the bugs you hit 't' on earlier.
If you want to add a bug to that list:
M-x debbugs-gnu-bug
type the bug number, RET
Hit 't'
Now the next time you run debbugs-gnu as above that bug will appear as
well.
Robert
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, (continued)
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/14
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/17
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, dick . r . chiang, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread,
Robert Pluim <=
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/12