[TxMt] Re: jump back to previous location

[Allan Odgaard]

On 22 Sep 2014, at 18:30, Eduardo Francos wrote:

> I developed a bundle I called "Navigator" for TM 1.5 that does that.
> Actually it does a lot more. Among others it implements a position 
> stack with push/pop position, navigation within the stack

Sounds like this could be tackled by extended the current bookmark 
system with a “go back to last bookmark added and remove it (and make 
it work accross files)”-action, and we would have this push/pop 
system.

> […] TMTOOLS is not supported anymore and I used it for precise 
> positioning when documents have changed since the position was saved.

Curious, how was TMTOOLS able to help with that?