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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 07 Oct 2016 11:02:48 +0300

> From:  Leo Liu <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Fri, 07 Oct 2016 10:27:49 +0800
> 
> compilation-auto-jump timer is fired by the font-locking engine. By my
> observation it is possible that compilation-finish-functions (from a
> process sentinel) are executed before font-locking even by inserting
> 
>   (compilation--ensure-parse (point-max))
> 
> in ggtags-global-handle-exit.
> 
> Do you see any anomaly in the observation?

Not in these general terms, no.

> The hack that is now in ggtags.el may not work either. None of the
> people that reported https://github.com/leoliu/ggtags/issues/89 have
> confirmed the fix. And I personally don't know how to reproduce it.

So what is your proposal?