New customizable variable ggtags-mode-sticky