Menu

Commit [r4754]  Maximize  Restore  History

Changed InputBox in InteractionsPane so that finishing the input

with Enter does not display the final newline

mgricken 2009-02-12

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