[DrJava] [ drjava-Bugs-1774750 ] Find All and background-updated files

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

Bugs item #1774750, was opened at 2007-08-15 09:47
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=1774750&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Definitions (source editor)
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Dan Smith (dlsmith)
Assigned to: Nobody/Anonymous (nobody)
Summary: Find All and background-updated files

Initial Comment:
I haven't looked at this carefully, but it looks like "Find All" has incorrect behavior when it runs into source files that have changed in the background.  I've noticed underlines appearing in the wrong place and got a IndexOutOfBoundsException (I think) recently, always after being prompted about a file that has changed on disk.  It looks like the "find" happens on the cached file contents rather than on the new file contents.

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

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