Menu ▾ ▴

Commit [r4191]  Maximize  Restore  History

Vastly improved the speed of global search. Even though we had already made optimized it to call getText without building the document, the getDocument method was still being called implicitly in several places. These have been either removed or modified to not call the getDocument on all files, but it still needs to do so on files where it found matches.

This revision is *expirimental*, as it involved replacing a Position object with an integer for the location of the match. This may break some procedures with find and replace, or other operations, but it did pass the unit tests and seems to work properly.

M src/edu/rice/cs/drjava/model/FindReplaceMachine.java

sigma_lmtd 2007-02-28

Browse code at this revision

Parent: [r4190]

Child: [r4192]

changed /trunk/drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java
/trunk/drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB