| Commit | Date | |
|---|---|---|
| 2009-04-18 03:46:25 | Tree | |
|
[r4909]
by
mgricken
Re-do of the GUI changes for vector option components. M src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java |
2009-04-18 03:45:25 | Tree |
| 2009-04-17 19:59:23 | Tree | |
|
[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 |