DrJava Legacy SVN Repository

Choice of backslash as escape character conflicted on Windows.
Changed to pipe '|'.
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java

Santizes custom javadoc parameters to remove access level tags

External commands can now be saved to the main menu.
TODO: Edit function to rename, edit, and remove saved items.

Added lots of stuff for external processes.

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/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/JVMProcessCreator.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/ProcessCreator.java

Changed the way VectorOptions are represented. Before, a VectorOption
did not allow the empty vector, it did not allow empty strings as elements,
and the strings could not contain the delimiter.
Delimiter (default: ",") gets escaped as "\,".
Backslash "\" gets escaped as "\\".
The empty string "" now represents the empty vector (previously "[]").
The string "[]" now represents a vector with one element, the empty string.
"[,]" is a vector with two empty strings.
"[\\,\,]" is a vector with two strings, "\" and ",".

M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java

PLT Utilities: Bug fixes and GUI improvements/code cleanup for TreeLog. Implemented a number of simple utility methods in SwingUtil in order to reduce boilerplate GUI code.

Changed variables from %variable% to ; added 2nd pane with DrJava preferences.

Allow multiple categories in the Insert Variable dialog

PLT Utilities: Extended Log classes with additional logStart/logEnd methods

Fixed Interactions class loaders so that built-in items (drjava.jar, etc.) go last (consistent with the way the class path is presented to the user). Includes dynamicjava and plt updates to support the change. Improved handling of unexpected interpreter errors: they no longer freeze the Interactions Pane, and instead get recorded in the DrJava Errors dialog.