| Commit | Date | |
|---|---|---|
|
[r4518]
by
mgricken
Changed the survey code to use the script: http://www.drjava.org/submit-usage.php?os.version=X&os.name=Y&java.vendor=Z&java.version=W |
2008-06-13 23:38:14 | Tree |
|
[r4517]
by
mgricken
This commit adds a date field to the information passed in M src/edu/rice/cs/drjava/ui/DrJavaSurveyPopup.java |
2008-06-13 11:21:38 | Tree |
|
[r4516]
by
mgricken
This commit fixes a problem with the previous commit and prevents the M src/edu/rice/cs/drjava/ui/MainFrame.java |
2008-06-13 06:09:23 | Tree |
|
[r4515]
by
mgricken
This revision adds a dialog that asks the user if DrJava maysend Every three months, DrJava will automatically ask this question when The information gets written into a plain-text file at M src/edu/rice/cs/drjava/config/OptionConstants.java |
2008-06-13 02:28:05 | Tree |
|
[r4514]
by
mgricken
Fixes the bug Folders and bins now can be selected. If a folder is closed, the M src/edu/rice/cs/drjava/ui/MainFrame.java |
2008-06-12 23:27:00 | Tree |
|
[r4513]
by
mgricken
Made piping between processes much more robust. M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java |
2008-06-11 03:58:24 | Tree |
|
[r4512]
by
mgricken
Fixed two bugs in ConcreteRegionManager: When looking for a region, M src/edu/rice/cs/drjava/model/DocumentRegionTest.java |
2008-06-10 20:37:43 | Tree |
|
[r4511]
by
rcartwright
This revision includes some revisions to the operations in The followling files were modified. M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserve.java |
2008-06-10 04:30:43 | Tree |
|
[r4510]
by
rcartwright
This revion is a tiny upate that improves some comment formatting and The following files were modified. M src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmt.java |
2008-06-08 06:06:58 | Tree |
|
[r4509]
by
mgricken
Added piping from one process to the next using | A src/edu/rice/cs/drjava/model/HighlightedRegion.java |
2008-06-06 18:30:06 | Tree |