Menu

Legacy SVN Repository Commit Log


Commit Date  
[r3977] by mgricken

Fixes bug report
[ 1543649 ] The [-config] argument does not work.
After the separation of DrJava and DrJavaRoot, the command
line arguments were not properly passed along. I also removed
the cludgy hack to enable the debug console by passing
"path.separator" as argument. Now DrJavaRoot invokes
DrJava.handleCommandLineArgs, and all parsing is done there.
Changed the parser; for multi-word arguments such as
"-config foo.bar", it did not properly skip the 2nd word.
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java

2006-08-21 03:38:37 Tree
[r3976] by mgricken

Sticky Interactions working directory can now be turned off in Preferences/Resource Locations

2006-08-19 02:10:19 Tree
[r3975] by mgricken

Last directories of file choosers and interactions pane saved separately.

2006-08-18 20:06:13 Tree
[r3974] by mgricken

Removed 'working directory' from documentation.

2006-08-18 01:18:07 Tree
[r3973] by mgricken

Removed 'working directory' from documentation.

2006-08-18 01:14:43 Tree
[r3972] by dlsmith

Updated build process for Eclipse plug-in. (There may still be some problems -- testing doesn't work on my system.)

2006-08-17 20:45:26 Tree
[r3971] by mgricken

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

2006-08-17 20:34:34 Tree
[r3970] by mgricken

Enhanced documentation about Web Browser and Web Browser Command

2006-08-17 16:57:26 Tree
[r3969] by mgricken

Enhanced documentation about Web Browser and Web Browser Command

2006-08-17 16:56:12 Tree
[r3968] by dlsmith

Minor fix to build template

2006-08-16 20:09:19 Tree
Older >
MongoDB Logo MongoDB