[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:24:22 +0100 |
>>>>> On Wed, 20 Nov 2019 18:01:42 +0100, Michael Albinus <address@hidden> said:
Michael> Robert Pluim <address@hidden> writes:
Eric> I was a little confused when searching for tags prompted me
Eric> to enter a particular user tag, but it turns out just
Eric> hitting <RET> at the prompt showed me the tagged 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'.
Michael> Do they find already the proper bug-id? Cool, this saves me work
:-)
Kind of, they search for #\\([0-9]+\\) on the current line, and then
from point-min, which will do the wrong thing if youʼre not on the
first line of the bug thread. They also look for an appropriate text
property, but thatʼs not set by 'gnus-read-ephemeral-bug-group'. I can
look at adding that, but if you have a debbugs-gnu list of tagged
bugs, you can visit each of them as a gnus group individually, so Iʼm
not sure itʼs worth the effort.
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, 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, 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