DrJava Legacy SVN Repository

Show an hourglass cursor before indenting.

Added dialog to edit external processes (change command line,
rename, working directory; move up or down; remove).
Restructured the Tools menu to make it shorter.
Improved "modal"-ness of dialogs.

M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
A src/edu/rice/cs/drjava/ui/EditExternalDialog.java
M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java

Refactored the query cache for AbstractDJDocument to spped up block indenting. Indenting Mainframe.java now takes a little over a minute on a 2Ghz Core Duo MacBook. The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DJDocument.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/util/text/ConsoleDocumentInterface.java
M src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java

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.