DrJava Legacy SVN Repository

This revision implements a lazy evaluation scheme for generating the
matching region text in FindResultsPanels. It suffers from one
serious limitation. the length of the displayed matching regions in
the JTree is not allowed to grow (for reasons I don't understand), so
the text is truncated if the matching line grows during editing.

The following documents were modified:

M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
M src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
M src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/util/Lambda.java

This revision fixes a focus bug in the "Find Next" and "Find Previous"
commands. It attempts to fix an inconsistent DefinitionsPane state
bug (after a huge "Find All" search) but the efficacy of this fix has
not been determined. This revision also re-enables some unit tests
that were inadvertently disabled in some recent commits.
Unfortunately, the memory leak test in DefinitionsPaneTest no longer
fully passes: apparently unreachable DefintionsPanes are not recovered
by the garbage collector.

The following files have been modified:

M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsEditorKit.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
M src/edu/rice/cs/drjava/model/junit/JUnitTestManager.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
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/DefinitionsPaneTest.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java

Tell Plastic to put borders around toolbars.

Added the JGoodies Looks family of Look and Feels, and support for picking themes in the preferences pane.

Updated DynamicJava.

DynamicJava:

- Set up testing. Most tests now take the form of top-level jlbench tests. (See the jlbench SourceForge project.)

- Bug fixes for class declarations: fixed references between declared classes, allowed forward references, fixed constructor parsing.

- Implemented super/this constructor calls. The qualified and type-parameterized forms are not yet supported.

This revision comments out a debugging System.err.println statement in
the main body of the DrJava code base.

The following class was changed:

M src/edu/rice/cs/drjava/ui/FindResultsPanel.java

This revision disables the changing state in RegionsTreePanel and cleans up the implementation of _remove operation in FindResultsPanel.

The following classes were modified:

M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/ui/MainFrame.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

This revision lightens the load of updating FindResultsPanels on GUI
responsiveness by imposing a modest delay on all such updates,
packaging them as separate event queue tasks, and supressing the
generation of new update packages if a package is already pending on
the event queue..

The following files were modified:

M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.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/predictive/PredictiveInputFrame.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/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java

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