This revision includes some cosmetic changes in comments in
Indenter.java and a very small patch to fix a bug that arose in MovingDocumentRegion.java.
The following files were modified:
M src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
Authored by: rcartwright 2012-08-17
Parent: [r5676]
Child: [r5678]