Menu

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

mgricken 2011-06-12

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
/trunk/drjava/lib/dynamicjava-base.jar
Binary file was changed.
/trunk/drjava/lib/platform.jar
Binary file was changed.
/trunk/drjava/lib/plt.jar
Binary file was changed.
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrameStatics.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB