#3576 jEdit 4.4.1: Focus on wrong line if search target is folded

closed-fixed
5
2011-09-18
2011-09-08
No

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.

Discussion

  • Bosse Iseborn

    Bosse Iseborn - 2011-09-09

    It seems like the problem is not actually related to the Search function. It is the same when e.g. clicking on a hypersearch result line, clicking on a tree node in Sidekick, using "Go to line", etc.

    In other words, any time that jEdit needs to "jump" to a line that is inside a compressed folding.

     
  • Bosse Iseborn

    Bosse Iseborn - 2011-09-09
    • labels: 102675 --> editor core
     
  • Bosse Iseborn

    Bosse Iseborn - 2011-09-09

    Changed category to editor core since the problem is not just related to the Search function.

     
  • Evan Wright

    Evan Wright - 2011-09-13

    This bug was introduced by r19349 and merged into 4.4.x with r19548.

     
  • Evan Wright

    Evan Wright - 2011-09-18

    Fixed in r19972

     
  • Evan Wright

    Evan Wright - 2011-09-18
    • assigned_to: nobody --> evanpw
    • status: open --> closed-fixed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks