[DrJava] [ drjava-Bugs-1967938 ] Find All Highlights Never Removed

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

Bugs item #1967938, was opened at 2008-05-20 08:03
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=1967938&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: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Find All Highlights Never Removed

Initial Comment:
After performing a "Find All" operation, the matches are highlighted in the Definitions pane. When the panel with the results of the "Find All" operation is closed, the highlights used to be removed. Now they are never removed, they remain in the document forever.

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

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