| Commit | Date | |
|---|---|---|
|
[r4485]
by
dlsmith
PLT Utilities: Fixed typo in FileLog which left a constructor commented out. Added "relax" methods to IterUtil for situations in which wildcards aren't convenient. |
2008-05-20 20:11:29 | Tree |
|
[r4484]
by
rcartwright
This revision adds document read locking to the overridden definition The following files were modified. M src/edu/rice/cs/drjava/model/definitions/ColoringView.java The other two files were only revised cosmetically (formatting not code). |
2008-05-20 18:43:27 | Tree |
|
[r4483]
by
mgricken
This commit allows the user to double-click on a word in the A change was made to the way file names are saved in Added catch statements to deal with a StringIndexOutOfBoundsException |
2008-05-20 15:44:44 | Tree |
|
[r4482]
by
rcartwright
This revions refactors the implementation and interfaces of document M src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java |
2008-05-18 22:05:59 | Tree |
|
[r4481]
by
mgricken
Addresses bug report [ 1962520 ] NullPointerException This is due to an unfixed Java bug: Could not verify, but according to the work-around on the |
2008-05-14 10:24:14 | Tree |
|
[r4480]
by
mgricken
Forgot to add new file: |
2008-05-14 07:12:56 | Tree |
|
[r4479]
by
mgricken
Fixed a problem with loading projects and restoring the selection and active document Completed the "project auto-refresh" task from COMP 312 that wasn't finished; now there is a menu item to invoke the feature on demand, and the black list can be edited in the "Project Properties" dialog. Added several action properties that can be invoked from the command line of an external process. The actions are implemented as side effects of the evaluation of the command line: A variable used to denote an action performs the action and then evaluates to the empty string, disappearing from the command line. So far, the following properties are available: ${action.save.all} |
2008-05-14 04:44:37 | Tree |
| 2008-05-13 22:23:04 | Tree | |
|
[r4477]
by
mgricken
Fixed two typos in QuickStart guide, see |
2008-05-13 22:09:01 | Tree |
| 2008-05-10 05:50:53 | Tree |