[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:42:06 +0100 |
>>>>> On Wed, 20 Nov 2019 18:34:11 +0100, Michael Albinus <address@hidden> said:
Michael> Robert Pluim <address@hidden> writes:
>> >> 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
Michael> 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.
Michael> As you want. It's just convenience to send a control message
immediately
Michael> while you're reading a given message in the accumulated summary
buffer.
Well, with debbug-gnu-summary-mode enabled you'll be able to do that,
you'll just have to be slightly more careful with those
commands.
Hmm, how about if I changed the detection code to do
- search current line
- search backwards
- search from (point-min)
That would change nothing for single-bug ephemeral groups.
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, 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, 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, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20