| Commit | Date | |
|---|---|---|
|
[r4907]
by
mgricken
Reverted changes in revision 4904. M src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java |
2009-04-17 16:38:49 | Tree |
|
[r4906]
by
mgricken
Moved code with add/remove buttons in the table of vector option components |
2009-04-17 16:24:34 | Tree |
|
[r4905]
by
mgricken
The file names for the documentation changed when the docs build |
2009-04-16 23:46:30 | Tree |
| 2009-04-16 22:30:35 | Tree | |
| 2009-04-16 16:17:03 | Tree | |
|
[r4902]
by
mgricken
Fixed main class settings in Jar dialog. M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java |
2009-04-16 12:57:31 | Tree |
| 2009-04-16 05:00:00 | Tree | |
| 2009-04-16 02:17:50 | Tree | |
|
[r4899]
by
mgricken
Created a branch for global keyboard bindings. A https://drjava.svn.sourceforge.net/svnroot/drjava/branches/drjava-globalkey |
2009-04-16 01:25:44 | Tree |
|
[r4898]
by
kevinmontrose
Jar creation now starts searching for class files in the directory containing the project file if build.dir has not been set. Additionally, it is now possible to set a custom manifest for all jars containing classes. This option is excludes setting a main class using the UI. Project file format updated accordingly to allow for new flag for indicating manifest usage, and storing the manifest itself. |
2009-04-15 19:37:09 | Tree |