DrJava Legacy SVN Repository

Moved code with add/remove buttons in the table of vector option components
into a branch.

The file names for the documentation changed when the docs build
process was migrated to xsltproc in revision 4712, and the names were
not updated in the DrJava code base.

Remove and add buttons now part of keybinding table

Added tooltip to "Find Again" button that describes what will happen.

Fixed main class settings in Jar dialog.

M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/util/swing/FileChooser.java

Disabled log file that was left enabled.

Disabled two log files that were left enabled.

Created a branch for global keyboard bindings.

A https://drjava.svn.sourceforge.net/svnroot/drjava/branches/drjava-globalkey

Jar creation now starts searching for class files in the directory containing the project file if build.dir has not been set. Additionally, it is now possible to set a custom manifest for all jars containing classes. This option is excludes setting a main class using the UI. Project file format updated accordingly to allow for new flag for indicating manifest usage, and storing the manifest itself.

Allowing vector options without headers and footers to be parsed as singleton vector to avoid configuration errors after we changed keyboard bindings from single keystrokes to vectors.