| Commit | Date | |
|---|---|---|
| 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 |
|
[r4897]
by
mgricken
Allowing vector options without headers and footers to be parsed as singleton vector to avoid configuration errors after we changed keyboard bindings from single keystrokes to vectors. |
2009-04-14 13:59:28 | Tree |
| 2009-04-14 12:30:01 | Tree | |
| 2009-04-14 03:53:53 | Tree |