bug#59307: closed ([PATCH] Cancel proced auto update timer if no proced buffers are open)

[GNU bug Tracking System]

Your message dated Sun, 20 Nov 2022 13:52:51 +0200
with message-id <83h6yt6dws.fsf@gnu.org>
and subject line Re: bug#59307: [PATCH] Cancel proced auto update timer if no 
proced buffers are open
has caused the debbugs.gnu.org bug report #59307,
regarding [PATCH] Cancel proced auto update timer if no proced buffers are open
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
59307: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59307
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Cancel proced auto update timer if no proced buffers are open Date: Wed, 16 Nov 2022 11:57:09 +0000

Hi, this patch cancels the proced auto update timer if it's detected that no proced buffers are open.

Thanks, Laurence

0001-Cancel-proced-auto-update-timer-if-no-proced-buffers.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#59307: [PATCH] Cancel proced auto update timer if no proced buffers are open
>
>
>
>
> Date: 
>
> Sun, 20 Nov 2022 13:52:51 +0200
>
>
>
>
> > From: Laurence Warne <laurencewarne@gmail.com>
> > Date: Sun, 20 Nov 2022 11:18:17 +0000
> > Cc: 59307@debbugs.gnu.org
> > 
> > Hi, thanks for taking a look.  Apologies, you're right.
> > 
> > I've attached an updated patch, the problem before was that it was possible 
> > for a timer to be cancelled when
> > there still existed proced buffers, which broke proced-toggle-auto-update.
>
> Thanks, installed.
>
>
> --- End Message ---