If you open a file by clicking on a Hyper search result and jEdit previously remembered a cusror position for that file, it will jump to that position instead of the search result at first. Only if the file is already open or jEdit didn't remember any cursor position for it (e.g. because it is opened for the first time ever), clicking on a Hyper Search result jumps to the correct position.
I guess the code that restores a previously remembered cursor position kicks in too late. There are no errors or exceptions when this happens.
Steps to repeat:
- Open a file and use Hyper Search to look up some word in the file.
- Click on a line in the file that doesn't contain the search result.
- Close the file.
- Click on a Hyper Search result to open the file again. Notice how the cursor ends up where it was when you closed the file.
- Click on the Hyper Search result again. Now it actually selects the correct part of the file.
Log in to post a comment.