Menu

Commit [r4612]  Maximize  Restore  History

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

rcartwright 2008-07-24

changed /trunk/drjava/src/edu/rice/cs/drjava/DrJava.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/ErrorPanel.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/RegionsListPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
changed /trunk/drjava/src/edu/rice/cs/util/Lambda.java
/trunk/drjava/src/edu/rice/cs/drjava/DrJava.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/MovingDocumentRegion.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/ErrorPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsListPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/Lambda.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB