DrJava Legacy SVN Repository

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.

Renamed cursor key description to group them all together.

Trying to get the resizable table to work well on Windows, too.

Removed superfluous cast.

Added minimum and maximum rows to display for vector option
components. Changed formula to calculate preferred height.

M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java

Changed table resizing for non-keystroke components.

Breakpoint line numbers are now automatically computed from a
position that moves with the document. When a breakpoint is hit,
the location in the source code matches that of the breakpoint,
even if the breakpoint is hit. Note: We do not translate the
current line numbers back to the line numbers that the debugger
saw if the document has been modified. In that case, the user
needs to recompile (a warning is displayed).
Fixed a problem with displaying the bookmarks and breakpoints
panels if bookmarks or breakpoints were toggled on and off.
Removing the light blue highlight again if a Find All panel
is closed.

Dynamic size-changing keybinding components