Subject: Re: bug#24585: 25.1; avoid hack in ggtags.el to run compilation-auto-jump timer

From: Leo Liu <[email-masked]>
Date: Wed, 05 Oct 2016 15:39:02 +0800

On 2016-10-04 12:18 -0400, Stefan Monnier wrote:
> That would explain why you want to remove the buffer from specific
> windows (i.e. hide the buffer), but not why you need to kill it.

The buffer is not needed by ggtags so kill was chosen. I could change it
to not kill but this won't fix the crux of the issue i.e.

  If compilation-auto-jump is run after cleanup it will mess up things
  for example pop up windows.

Leo