The FindReplacePanel (renamed from FindReplaceDialog) can now do
a "Find All" which accumulates all occurrences that would eventually
be found by using "Find Next" and places them in a "Find Results"
panel. The occurrences are also underlined.
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/FindReplaceMachineTest.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
D src/edu/rice/cs/drjava/ui/FindReplaceDialog.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
AM src/edu/rice/cs/drjava/ui/FindResultsPanel.java
A src/edu/rice/cs/drjava/ui/FindReplacePanel.java