From: Shlomy R. <sre...@gm...> - 2011-06-26 06:33:53
|
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 |