DrJava Legacy SVN Repository

Made documentation changes to reflect the ability to specify a main document as a class name directly, and its implications for running inner classes.

Made documentation changes to reflect new jar options. All files, and custom manifest support; basically.

Jar All now works. It jars everything in the project root, and also jars all classes in the build path (the distinction is only important if the two are different). Selecting a main class is broken in current dr java release; it is now less broken, in that you can at least navigate to and select a file, however converting it to a properly qualified class name does not yet work. Will revisit after documentation is updated.

Deleting unnecessary branch.

Deleting unnecessary branch.

Re-do of the GUI changes for vector option components.
The remove buttons are in the right-most column now as "X" icons,
and below the table (not scrolling) is a table-wide add button,
and depending on the settings, move up/down buttons. If moving
up and down is enabled, the column rows can also be moved using
drag and drop.

M src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorAbsRelFileOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponent.java
M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java

Added documentation for multiple key bindings.

Reverted changes in revision 4904.

M src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorAbsRelFileOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
M src/edu/rice/cs/drjava/ui/config/VectorClassnameOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java

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.