DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r5432] Maximize Restore History

Fixed bug 3192492: IOException when saving file

(and some other I/O errors).

M drjava/lib/platform.jar
M drjava/lib/javalanglevels-base.jar
M drjava/lib/dynamicjava-base.jar
M drjava/lib/plt.jar
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrameStatics.java

Authored by: mgricken 2011-06-12

Browse code at this revision

Parent: [r5431]

Child: [r5433]

changed	/trunk/drjava/lib/dynamicjava-base.jar
changed	/trunk/drjava/lib/javalanglevels-base.jar
changed	/trunk/drjava/lib/platform.jar
changed	/trunk/drjava/lib/plt.jar
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrameStatics.java