within the interactions pane. The following files were updates
(changes to files other than InteractionsController were cosmetic).
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/util/text/ConsoleDocument.java
M build.xml