DrJava Legacy SVN Repository

Removed debug output

In the "Go to file" dialog, line numbers can now be entered after a
semicolon, e.g. "MainFr:100" will jump to line 100 of the document
that matches "MainFr".

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java

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