When jumping to a definition, reference or symbol, the position before and after the jump are pushed to the context stack. With counsel-gtags-go-backward and counsel-gtags-go-forward the user can navigate in both directions. If the user goes back to position X and jumps to a new tag, everything ahead of X is removed, before the new positions are pushed (much like undo/redo in a simple editor).
When jumping to a definition, reference or symbol, the position before and after the jump are pushed to the context stack. With
counsel-gtags-go-backwardandcounsel-gtags-go-forwardthe user can navigate in both directions. If the user goes back to position X and jumps to a new tag, everything ahead of X is removed, before the new positions are pushed (much like undo/redo in a simple editor).