DrJava Legacy SVN Repository

This revision eliminates HTML-based color highlighting in
FindResultsPanel entries and uses unicode solid circle markers as
delimiters instead. It also cleans up the padding of entry text with
blanks to support subsequent editing.

The following files 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/repl/InteractionsScriptModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.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/FindReplacePanel.java
M src/edu/rice/cs/util/text/ConsoleDocument.java
M src/edu/rice/cs/util/StringOps.java

Removed support for winlaf. It is no longer necessary, and we're not sure it works.

Warn the user that theme changes will not take effect until restart.
Add option to toggle this warning on/off.

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.