GNU bug report logs - #24585
25.1; avoid hack in ggtags.el to run compilation-auto-jump timer

Previous Next

Full log

Message #20 received at 24585 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Leo Liu <sdl.web <at> gmail.com>
Cc: 24585 <at> debbugs.gnu.org
Subject: Re: bug#24585: 25.1;
 avoid hack in ggtags.el to run compilation-auto-jump timer
Date: Mon, 03 Oct 2016 14:45:57 -0400

>>> The first timer is compilation-auto-jump which is installed (by compile)
>>> at the start of compilation.
>>> The second timer is a cleanup timer which is installed (by ggtags) when
>>> compilation finishes and there is 0 or 1 match.
>>> The second timer kills the buffer (among other things) that the first
>>> timer depends on.
>> So we can fix the bug by making the timer's code check if the buffer is
>> still live?
> No.  We still want compilation-auto-jump to happen first.  Otherwise we
> just find 1 match and clean up without jumping to the match.

Then why does the second timer kill the buffer so hastily?


        Stefan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.