[DrJava] [ drjava-Bugs-788295 ] No highlight when find/replace switches docs

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

Bugs item #788295, was opened at 2003-08-13 19:57
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=788295&group_id=44253

Category: Definitions (source editor)
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: No highlight when find/replace switches docs

Initial Comment:
If the user selects "Search All Documents" on the
Find/Replace tab, the result is not
selected/highlighted if the document switches.  I've
observed this on WinXP / JDK 1.4.2.  (The result is
correctly selected if the document doesn't switch.)

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

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