[ jEdit-devel ] Hypersearch results broken after saving file

[Shlomy R. <sre...@gm...>]

Hi,

I am using the trunk version of jedit, and encountered a new bug that didn't
exist before: If you run Hypersearch, then save the buffer, the hypersearch
results no longer work (i.e. no longer jump to the right location in the
code).
Any idea when this bug was introduced? It seems like the buffer positions
stored in the hypersearch results are wrong after saving the buffer.

Thanks,
Shlomy