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.BROWSER_HISTORY_MAX_SIZE Number of entries in the browser history (0 for unlimited).
static NonNegativeIntegerOption	OptionConstants.CLIPBOARD_HISTORY_SIZE How many entries are kept in the clipboard history.
static NonNegativeIntegerOption	OptionConstants.DEBUG_PANEL_HEIGHT Height of debugger panel at startUp.
static NonNegativeIntegerOption	OptionConstants.DIALOG_LIGHTWEIGHT_PARSING_DELAY Delay for light-weight parsing.
static NonNegativeIntegerOption	OptionConstants.DOC_LIST_WIDTH Width of DocList at startUp.
static NonNegativeIntegerOption	OptionConstants.DRJAVA_SURVEY_DAYS The number of days that have to pass before we ask and allow the user to participate in the DrJava survey again.
static NonNegativeIntegerOption	OptionConstants.EXTERNAL_SAVED_COUNT The number of saved external processes.
static NonNegativeIntegerOption	OptionConstants.FOLLOW_FILE_DELAY Delay for following files.
static NonNegativeIntegerOption	OptionConstants.FOLLOW_FILE_LINES Maximum lines to keep when following files, or 0 for unlimited.
static NonNegativeIntegerOption	OptionConstants.HISTORY_MAX_SIZE Number of lines to remember in the Interactions History
static NonNegativeIntegerOption	OptionConstants.INDENT_LEVEL How many spaces to use for indenting.
static NonNegativeIntegerOption	OptionConstants.NEW_VERSION_NOTIFICATION_DAYS The number of days that have to pass before we automatically check again.
static NonNegativeIntegerOption	OptionConstants.RECENT_FILES_MAX_SIZE Number of files to list in the recent file list
static NonNegativeIntegerOption	OptionConstants.TABS_HEIGHT Height of tabbed panel at startUp.
static NonNegativeIntegerOption	OptionConstants.WINDOW_HEIGHT Height of MainFrame at startUp.
static NonNegativeIntegerOption	OptionConstants.WINDOW_WIDTH Width of MainFrame at startUp.