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_MAIN
          Main (definitions document, tab contents)
static FontOption OptionConstants.FONT_DOCLIST
          List of open documents
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, Frame parent)