Display Options - touniez/comp402doc GitHub Wiki

These configurable options affect how DrJava's user interface is displayed.

Look and Feel (look.and.feel = "")
Name of the Swing LookAndFeel class which determines the general appearance of DrJava. If this option is changed while DrJava is running, the changes will not apply until you restart.

Plastic Theme (plastic.theme = "DesertBlue")
If Plastic is selected as Look and Feel, then this setting changes the theme that is used to display DrJava. If Plastic is not selected, changing this setting has no effect. If this option is changed while DrJava is running, the changes will not apply until you restart.

Toolbar Buttons (toolbar.icons.enabled = true, toolbar.text.enabled = true)
These radio buttons control whether the toolbar buttons contain text, icons, or both. When set manually in the config file, each of the two options can be set to true or false, though icons will be displayed if both are set to false.

Show All Line Numbers (lineenum.enabled = false)
Whether to display all line numbers along the left margin of the Definitions Pane.

Show sample of source code when fast switching (show.source.for.fast.switch = true)
Whether a sample of the source code around the current caret position should be shown in the Fast Switch window.

Show Code Preview Popups (show.code.preview.popups = false)
Whether a sample of the source code around the document location should be shown in the Breakpoints, Bookmarks and Find Results panes.

Size of Clipboard History (clipboardhistory.store.size = 10)
How many entries are saved in the clipboard history.

Display Fully-Qualified Class Names in "Go to File" Dialog (dialog.gotofile.fully.qualified = false)
Whether the "Go to File" dialog should also include the fully-qualified class names. Example: There is a file myPackage/MyClass.java (in the myPackage package). With this setting enabled, the "Go to File" dialog will contain both MyClass.java and myPackage.MyClass.java; with the setting disabled, it will only contain MyClass.java.

Scan Class Files For Auto-Completion After Each Compile (dialog.completeword.scan.class.files = false)
When this option is enabled, a project is open, and a build directory has been set, DrJava will scan all class files after each compile and add their names to the auto-completion list. This allows DrJava to auto-complete the class names of all user classes, not just the names of the open document. This option requires additional disk accesses and therefore slows down compiles.

Consider Java API Classes for Auto Completion (dialog.completeword.javaapi = false)
When this option is enabled, DrJava will include the names of the standard Java API classes in the list of names used for auto-completion.

Display Right Margin (display.right.margin = true)
Enable this option to let DrJava display a vertical line representing the right margin of the document.

Right Margin Position (right.margin.columns = 120)
This option controls the position of the right margin. By default, the right margin line is displayed after 120 columns, provided the "Display Right Margin" option above is enabled.