modify the key gtags find symbol