Remove redundant function ggtags-navigation-first-error