Menu ▾ ▴

Commit [r4176]  Maximize  Restore  History

Revised the implementation of getCurrentLine and getCurrentCol in

DefinitionsDocument so that they exploit fast Swing mapping from
offset to paragraph. Revised the caretUpdate method in the
position listener in MainFrame so that is uses caret position rather
than document location (which caused a minor bug in updating
the displayed location). Revised the commenting for SwingWorker.java.

The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/swing/SwingWorker.java

rcartwright 2007-02-24

Browse code at this revision

Parent: [r4175]

Child: [r4177]

changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/util/swing/SwingWorker.java
/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/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/swing/SwingWorker.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB