DrJava Legacy SVN Repository

Addresses bug [ 1550220 ]. Now there is a 'Forcefully Quit DrJava' checkbox in Preferences/Misc. If it is enabled, DrJava will quit even on tablet PCs.

Added -D command line option to pass Java properties to DrJavaRoot (similar to -X)

I revised DefinitionsDocument (commenting out some goofy side-effects
to the current location IN _getRelativeLine that broke the reduced
model) to fix a bug that Mathias discovered regarding the undoing of a
comment entered in an empty document. I also added a toURL method to
FileOps to replace all of our calls on the deprecated method toURL in
java.io.File. The new method merely calls the deprecated method but
is eliminates dozens of deprecated method warning when compiling
DrJava with Java 6.0. It also gives us an opportunity to see of the
suggested workaroudn (use toURI in java.io.File followed by toURL in
java.net.UI finally works. It did not in Java early version of Java
5.0.

The following files were upated.

Fixes bug report
[ 1546928 ] Bookmarks Tab text changes incorrectly
Bookmark text changes properly in accordance with document
changes. Before, bookmarks only held offsets, not Positions,
so the offsets were never updated.

M src/edu/rice/cs/drjava/model/SimpleDocumentRegion.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java

Changed 'Close' to 'OK' in error dialogs

When running under 1.4, a 1.4 tools.jar will now be
correctly detected. Also improved dialog text, indicating
the current Java version and the version of the tools.jar
that has been selected.

M src/edu/rice/cs/drjava/DrJava.java

Created tag drjava-stable-20060821-1502

Temporarily commented out broken test

Corrected error message text on assertions

Fixes bug report
[ 1543649 ] The [-config] argument does not work.
After the separation of DrJava and DrJavaRoot, the command
line arguments were not properly passed along. I also removed
the cludgy hack to enable the debug console by passing
"path.separator" as argument. Now DrJavaRoot invokes
DrJava.handleCommandLineArgs, and all parsing is done there.
Changed the parser; for multi-word arguments such as
"-config foo.bar", it did not properly skip the 2nd word.
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java