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

Packages that use NonNegativeIntegerOption
edu.rice.cs.drjava.config This package contains the code that allows for dynamically modifying the configuration options in DrJava. 
 

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

Fields in edu.rice.cs.drjava.config declared as NonNegativeIntegerOption
static NonNegativeIntegerOption OptionConstants.INDENT_LEVEL
          How many spaces to use for indenting.
static NonNegativeIntegerOption OptionConstants.HISTORY_MAX_SIZE
          Number of lines to remember in the Interactions History
static NonNegativeIntegerOption OptionConstants.RECENT_FILES_MAX_SIZE
          Number of files to list in the recent file list