Keep track of nagivation history about ggtags HOT 4 CLOSED

Hi lbsx,

I think this is a good idea. Could you see if ggtags-find-tag-resume partially help with this history navigation? I'll see what best to do here.

Leo

from ggtags.

I think ggtags-find-tag-resume and history navigation are different things. History navigation needs a different data structure other than a stack to store the jump history.

For example, I press M-. on foo1, then on foo2, then on foo3, and history navigation provides the ability to jump back to foo2 and foo1, then from foo1, jump forward again to foo2 and then foo3.

Here is the document of Source Insight on "Go Back" and "Go Forward". They are almost the same as a web browser provides.
http://www.sourceinsight.com/docs35/af915700.htm

from ggtags.

I think the history back/forward can share the same data structure with the push/pop tag stack. The stack is implemented as a ring anyway. I'll find a way to do this.

from ggtags.

Sorry for taking so long to get to this bug. I think I have something roughly implemented. By default, C-c n and C-c p does history navigation without destroying markers. Could you test it and post comments here? Thank you. -- Leo

from ggtags.