[DrJava] [ drjava-Feature Requests-961142 ] Search All Documents should first search current document

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

Feature Requests item #961142, was opened at 2004-05-26 16:16
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=961142&group_id=44253

Category: Other
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Elspeth Simpson (ejspe)
Assigned to: Nobody/Anonymous (nobody)
Summary: Search All Documents should first search current document

Initial Comment:
When using the "Search All Documents" option, DrJava
should first fully search the current user file before
moving on to the other open files.  Currently, it only
searches the part of the current file after the caret
and then goes onto the next file.  Users likely want to
find instances of the search string in the current file
before looking in the other files.

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

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