[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking threa
From: |
Robert Pluim |
Subject: |
Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
Date: |
Wed, 20 Nov 2019 18:51:40 +0100 |
>>>>> On Wed, 20 Nov 2019 18:43:42 +0100, Michael Albinus <address@hidden> said:
Michael> Robert Pluim <address@hidden> writes:
Michael> Btw, this will be `debbugs-gnu-ephemeral-from-tagged'.
>>
>> 'debbugs-gnu-gnus-ephemeral-from-tagged'? In theory you could
>> implement something similar for rmail. I hereby delegate the heavy
>> responsibility of naming this correctly to Somebody Else :-)
Michael> We have no `debbugs-gnus-*' functions. The two accidents left I've
just
Michael> fixed in the repository.
Michael> Maybe we shall even avoid `ephemeral' in the name (its gnus-ish),
and we
Michael> call it `debbugs-read-tagged-bugs-with-gnus'. With the upper
command
Michael> `debbugs-read-tagged-bugs'.
Hmm, is this not only for the GNU bugtracker, hence debbugs-gnu? Or
are you generalizing it to all types of debbugs instances?
Robert
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, (continued)
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread,
Robert Pluim <=
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/22