DrJava Legacy SVN Repository

"recent documents" (activated by <CTRL>{<SHIFT>}<BACKQUOTE>
keystrokes). Recent document traversal nows works uniformly in the
main frame regardless of focus. The revision also fixes a small bug
in the "Find Again" command, which incorrected highlighted the updated
FindResults document if the last search was in the "backwards"
direction. (We need to add a unit test for this behavior.)

The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java