jEdit 4.4.1 with Java 1.6.0-23 on Solaris 10.
When I search for anything from the search&replace dialog, and the next hit is in a collapsed folding, jEdit will usually fail to set focus on the hit. It will (usually) expand the foldings and display the correct line centered in the pane, but focus will (usually) be on a line above the hit. It seems like focus is always set to a line that "opens" a folding that includes the hit, but not necessarily the inner-most folding.
I use the word "usually" repeatedly, because the exact behaviour is not consequent (well, it probably is, but the logics of it escapes me).
Expanding all foldings before searching removes the problem, but the foldings are there for a reason.
I first thought that this was a problem with the "sidekick" folding mode, but I have unloaded Sidekick and the problem persists with "custom" and "indent". Neither is it language mode specific.
I realize that this is probably not a common problem since it is so obvious that it should have been reported before, but it is a big problem for me.
Log in to post a comment.