DrJava Legacy SVN Repository

eliminating searches for matching region and document nodes in the
JTree embedded in the panel. It also adds timing hysteresis to
requestFocusInWindow and updateButtons in an attempt to reduce the
overhead involved in redisplaying FindResultsPanels (as in scrolling a
long FindResultsPanel). It may now be possible to remove the default/changing
state distinctions in the implementation of RegionTreePanel.

The following documents were modified:

M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
M src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
M src/edu/rice/cs/drjava/model/IDocumentRegion.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/AbortablePanel.java
M 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
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java