[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 17:58:57 +0100 |
>>>>> On Wed, 20 Nov 2019 08:42:47 -0800, Eric Abrahamsen <address@hidden> said:
Eric> How nice to wake up and find that someone's implemented my (fairly
Eric> off-handed) feature request! In fact I wasn't necessarily demanding
that
Eric> all the bugs be displayed in one summary buffer -- that actually skips
Eric> the overview buffer where you can issue the control messages, which is
Eric> the main benefit. Though I'm sure I'd use this ephemeral group
approach,
Eric> the tagging approach is perfectly good. I was a little confused when
Eric> searching for tags prompted me to enter a particular user tag, but
Eric> it turns out just hitting <RET> at the prompt showed me the tagged
Eric> reports.
If you stick
(debbugs-gnu-summary-mode 1)
at the end of my function, you'll get 'E' 'C' and 'M-m' bindings,
which do the same things as in 'debbugs-gnu'.
Robert
- 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 <=
- 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, 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