DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r4617] Maximize Restore History

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

Authored by: rcartwright 2008-07-25

Browse code at this revision

Parent: [r4616]

Child: [r4618]

changed	/trunk/drjava/src/edu/rice/cs/drjava/DrJava.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
changed	/trunk/drjava/src/edu/rice/cs/util/StringOps.java
changed	/trunk/drjava/src/edu/rice/cs/util/text/ConsoleDocument.java

/trunk/drjava/src/edu/rice/cs/drjava/DrJava.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/StringOps.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/text/ConsoleDocument.java Diff Switch to side-by-side view