DrJava Legacy SVN Repository

A lightweight programming environment for Java

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

Commit [r4613] Maximize Restore History

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

Authored by: rcartwright 2008-07-24

Browse code at this revision

Parent: [r4612]

Child: [r4614]

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

/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/MovingDocumentRegion.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleQuestion.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/InteractionsController.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/RegionsListPanel.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/text/ConsoleDocument.java Diff Switch to side-by-side view