DrJava Legacy SVN Repository

New regions are inserted after the current region and then become
the current region.
The region manager has methods to move forward and backward
through the regions, changing the current region.
The maximum size of the RegionManager can be limited; if new
regions are added and the manager becomes too large, the region
at the end farther away will be discarded.
Added a "Browser History" region manager, and the "next/prev
document" actions, selections in the document navigator,
actions on the "Find/Replace" panel, "Go to File"/"Go to
File Under Cursor" actions, and "Go to" actions on the
"Breakpoints", "Bookmarks", "Find Results", "Error" and
"JUnit" panels cause the old and new locations to be put in
the "Browser History".
Using Alt+Left/Alt+Right, the user can browse through the
regions in the "Browser History".
Removed edu/rice/cs/drjava/ui/RightClickMouseAdapter.java, which
was a duplicate of src/edu/rice/cs/util/swing/RightClickMouseAdapter.java.

M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
M src/edu/rice/cs/drjava/model/debug/DebugListener.java
M src/edu/rice/cs/drjava/model/debug/Breakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/RegionManager.java
AM src/edu/rice/cs/drjava/model/SimpleDocumentRegion.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/RegionManagerListener.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.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/project/ProjectFileParser.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/DebugPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
AM src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
A src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M src/edu/rice/cs/drjava/ui/JUnitPanel.java
D src/edu/rice/cs/drjava/ui/RightClickMouseAdapter.java
M src/edu/rice/cs/util/docnavigation/NodeDataVisitor.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
M src/edu/rice/cs/util/docnavigation/StringNode.java
M src/edu/rice/cs/util/docnavigation/LeafNode.java
M src/edu/rice/cs/util/docnavigation/INavigationListener.java
M src/edu/rice/cs/util/docnavigation/NodeData.java
M src/edu/rice/cs/util/docnavigation/FileNode.java
M src/edu/rice/cs/util/docnavigation/RootNode.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java