Steps to reproduce:
1. Compare 2 files.
2. Using CTRL-F2 set a bookmark in one of the files.
3. Navigate away from the bookmark.
4. Press F5 to re-compare the files
5. Press F2
Expected result: cursor moves to the bookmarked line
Actual result: nothing happens
But wait, there's more!
6. Set another bookmark and immediately delete it.
7. F2 now moves to the original bookmark as expected.
Bug: bookmarks don't work after recompare
Re: Bug: bookmarks don't work after recompare
Thanks for reporting this. The fix will go to the next builds of 12.0 and 13.0 Beta.
psguru
PrestoSoft
PrestoSoft