Miscellaneous - touniez/comp402doc GitHub Wiki

These are the remaining configurable options in DrJava.

Indent Level (indent.level = 2)
Sets how many spaces to use for each level of indenting. Note that tab characters are not allowed in DrJava.

Recent Files List Size (recent.files.max.size = 5)
Specifies how many recently used files to display in the File menu.

Size of Browser History (browser.history.max.size = 50)
Specifies how many source code locations are stored in the browser history.

Automatically Close Block Comments (auto.close.comments = false)
Whether to automatically insert the string designating the end of a multi-line comment after beginning one.

Allow Assert Keyword in Java 1.4 (javac.allow.assert = false)
Whether to support the assert keyword when compiling with a JDK 1.4 or later compiler.

Keep Emacs-style Backup Files (files.backup = true)
Whether DrJava should keep a backup copy of each file that the user modifies, saved with a "~" at the end of the filename.

Clear Console After Interactions Reset (reset.clear.console = true)
Whether DrJava should clear the contents of the Console Tab each time the Interactions Pane is reset.

Require test classes in projects to end in "Test" (force.test.suffix = false)
Whether to require that JUnit test classes in projects end in "Test". If this is enabled, classes that do not end in "Test" will not be considered JUnit tests when in project mode.

Put the focus in the definitions pane after find/replace (find.replace.focus.in.defpane = false)
Whether to put the focus in the Definitions pane after using find/replace. If this option is not enabled, the focus will remain in the Find/Replace pane.

Forcefully Quit DrJava (drjava.use.force.quit = false)
On some systems (namely tablet PCs), DrJava does not shut down properly when quit. Select this option to remedy this problem.

Enable Remote Control (remote.control.enabled = true)
Java's "remote control" allows other applications to control certain aspects of DrJava, for example what file is displayed. This feature is also necessary if you want to double-click on a .java file to open the file in an existing instance of DrJava.

Remote Control Port (remote.control.port = 4444)
Selects the port that Drjava uses for its remote control.

Follow File Delay (follow.file.delay = 300)
Specifies the number of milliseconds that have to pass before DrJava will update a "Follow File" window again.

Maximum Lines in "Follow File" Window (follow.file.lines = 1000)
Specifies the number of of lines that a "Follow File" window may contain. If a file has more than this many lines, only the end of the file will be displayed.