Menu ▾ ▴

Commit [r3971]  Maximize  Restore  History

The last directory of several file choosers is now being

saved in the user's configuration (last.dir) and restored
when DrJava is started. If the previous directory doesn't
exist anymore, DrJava will move towards the root of the
file system until an existing directory is found. If that
fails too, then the value of "user.home" is used.

M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

mgricken 2006-08-17

Browse code at this revision

Parent: [r3970]

Child: [r3972]

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