DrJava Legacy SVN Repository

Implemented feature request 3081586:
Store Preferences within Projects

There now is an "Advanced" button on the "Project Properties"
dialog that takes the user to a secondary window. In that
window, the user can list (by name, using predictive input)
those preferences that should be saved in the project file.
By default, "Indent Level" and "Language Level" will be saved.

Note that for simplicity, the actual values are still
configured in the "Preferences" window (Edit menu). This
list only names the preferences whose values should be
stored in the project file when the project is saved, and
restored when the project is loaded again.

Better description of file type in "Open Folders".

Merging trunk into branch.

Changed menu item to use capital letters.

Implemented feature: 3082394 "Copy Compiler Errors to Clipboard". Also
save to file, print, print preview for compiler, Javadoc and JUnit
errors.

Better version handling for research compilers.

Merging fix for bug 3081009 from trunk into branch.

Fixed part of bug 3081009: HJ compiler puts classes in wrong dir.

Creating new DrJava/HJ branch based on current trunk.

Deleting old DrJava/HJ branch.