Display Options

The Display Options menu allows you to control how DrJava looks.

There are two submenus under Display Options, Fonts and Colors.