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

[Stefan Monnier]

>> Then why does the second timer kill the buffer so hastily?
> ggtags-navigation-mode-cleanup unhides the window popped up by
> compilation-auto-jump. If we postpone it we see the window configuration
> on the frame messed up, which is kinda annoying.

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.


        Stefan