--- Comment #2 from Dominik Haumann <> ---
Hm, there already is a way in the code to jump to saved editing positions:

I believe instead of adding yet another way of doing this, maybe this already
works or can be reused?

You are receiving this mail because:
You are watching all bug changes.

Reply via email to