DrJava Legacy SVN Repository

The revision adds the file StringSuspension.java which should have
been included in the last commit. The only file modified or added
to the repository in this commit was:

A util/StringSuspension.java

This revision supports full updating of the region text in FindResults
panes and it narrows highlighting in a FindResults goto operation to
the matched text.

The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleQuestion.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.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/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/util/text/ConsoleDocument.java

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