executing in AbstractDJDocument. The cache only provides critical
optimization on block indent operations for individual line indents,
it probably increases overhead and it almost certainly reduces the
ressponsiveness of the UI when entering text in large documents
(because the _clearCache operations can be expensive in some
situations).
The code changes involved in converting the cache back to full-time
operation are minimal so we can easily change it back if we find
the restricted (block-indent-only) version is less desirable.
The following files were modified:
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/AbstractDJPane.java
