Uses of Class
edu.rice.cs.drjava.config.FontOption

Packages that use FontOption

edu.rice.cs.drjava.config	This package contains the code that allows for dynamically modifying the configuration options in DrJava.
edu.rice.cs.drjava.ui.config	Contains the GUI code for displaying and modifying configuration options.

Uses of FontOption in edu.rice.cs.drjava.config

Fields in edu.rice.cs.drjava.config declared as FontOption

static FontOption	OptionConstants.FONT_DOCLIST List of open documents
static FontOption	OptionConstants.FONT_LINE_NUMBERS Line numbers
static FontOption	OptionConstants.FONT_MAIN Main (definitions document, tab contents)
static FontOption	OptionConstants.FONT_TOOLBAR Toolbar buttons

Uses of FontOption in edu.rice.cs.drjava.ui.config

Constructors in edu.rice.cs.drjava.ui.config with parameters of type FontOption

FontOptionComponent(FontOption opt, String text, SwingFrame parent)

FontOptionComponent(FontOption opt, String text, SwingFrame parent, String description)
Constructor that allows for a tooltip description.