|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |