Rename ggtags-handle-single-match to ggtags-global-handle-exit