[DrJava] [ drjava-Bugs-745714 ] Searches Repeat When Changing Direction

[SourceForge.net <no...@so...>]

Bugs item #745714, was opened at 2003-05-29 14:44
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=745714&group_id=44253

Category: Definitions (source editor)
Group: Annoying
Status: Open
Resolution: None
Priority: 3
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Searches Repeat When Changing Direction

Initial Comment:
Story:

A user is searching for a particular string in their code.  They 
accidentally step past the item they want, so they toggle the "Search 
Backwards" checkbox and hit "Find Next".  Nothing appears to 
happen.  Hitting "Find Next" again has the expected effect, moving 
to the next search hit in the chosen direction.

Note:

The code to flip direction needs to check whether the current 
selection matches the current search string, and if so, move the 
cursor to the opposite side of the selected text.  What's happening 
now, I believe, is that the search is re-finding the text that is already 
selected.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=745714&group_id=44253