This revision fixes a bug in the implementation of the "remove" action of the FindResultsPanel.
The following files were changed.
M src/edu/rice/cs/drjava/ui/MainFrame.java M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
Authored by: rcartwright 2008-07-21
Parent: [r4602]
Child: [r4604]