DrJava Legacy SVN Repository

Added support for listing the files selected but not compiled by a compilation command. These listed files have names that do not end in a DrJava source file extension, namely .drjava, .dj0, dj1, dj2.

Added some code for the asynchronous tasking framework. This is a rough draft and is open for change

made a copy

Disabled breakpoints are now highlighted with a different color (dark red).
The breakpoints panel labels disabled breakpoints as "(disabled)".

Added dark red color for disabled breakpoints.

Fixed "shifting breakpoint highlight" bug:
- Position objects are wrapped in WrappedPositions.
- A DefinitionsDocument remembers all WrappedPositions it creates
using a LinkedList of WeakReferences.
- When a document is kicked out of the cache, the DDReconstructor
stores the WrappedPositions and their current indices in a
WeakHashMap.
- When a document is restored, the DDReconstructor re-creates
the Position objects and updates all WrappedPositions.

Added "Scan Class Files after Each Compile" option:
- This allows auto-completion even of inner class names.

M src/edu/rice/cs/drjava/model/debug/Breakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/FileGroupingState.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

(1) Fixed a bug in the paths displayed for files in the navigation pane;
the paths were relative to the project file parent rather than the project
root. They are now relative to the project root
(2) Added support for a "Save Project As ..." command. Only a new project file is saved; the source tree is not moved or copied.
(3) Changed the format of project (.pjt) files to store paths for the files
in the source tree relative to the source root rather than the project file
parent. The old file format is still supported. The two formats are distinguished by the name of the property given the project root. It is "proj-root" in the old format and "proj-root-and-base" in the new format. In the new format, this property is mandatory in every project file.

minor cosmetic change

Changed the default DocumentCache capacity from 2 to 24. I also made some small cosmetic changes to DrJava.java

Added log4j library