Menu ▾ ▴

Commit [r5536]  Maximize  Restore  History

This revision makes .scala the default file extension (instead of

.java) when no extension is provided by the user or context. It
also makes some minor cosmetic corrections involving adding extra
spaces.

The following files were modified:

M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java

rcartwright 2012-04-22

Browse code at this revision

Parent: [r5535]

Child: [r5537]

changed /branches/drscala/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed /branches/drscala/drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java
changed /branches/drscala/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
/branches/drscala/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view
Loading...
/branches/drscala/drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java Diff Switch to side-by-side view
Loading...
/branches/drscala/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB