|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerConfigurationOption | |
---|---|
edu.cs.ai.kreator.control.config |
Uses of IntegerConfigurationOption in edu.cs.ai.kreator.control.config |
---|
Fields in edu.cs.ai.kreator.control.config declared as IntegerConfigurationOption | |
---|---|
static IntegerConfigurationOption |
Configuration.CONSOLE__AUTO_COMPLETE_DELAY
Delay until console suggests possible completions of the current command line |
static IntegerConfigurationOption |
Configuration.CONSOLE__MAX_CHARACTERS
Number of characters after that the first half of the console will be cleared. |
static IntegerConfigurationOption |
Configuration.CONSOLE__MAXLENGTH_COMMAND_HISTORY
The maximal length of the command history. |
static IntegerConfigurationOption |
Configuration.EDITOR__LEXER_MAX_TIME
If the syntax highlighting takes more than this MAX_TIME the user will be asked, if he wants to use the a more simple lexer. |
static IntegerConfigurationOption |
Configuration.EDITOR__LEXER_MIN_TIME
No idea what thats for. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__NUMBER_OF_RECENT_PROJECTS
The number of recent projects that should be saved. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__SPLITPANE1_POS
Pos of projectVsFiles Splitpane. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__SPLITPANE2_POS
Pos of prjFilesVsOutlineSplit Splitpane. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__SPLITPANE3_POS
Pos of prjFilesOutlVsOutputSplit Splitpane. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__SPLITPANE4_POS
Pos of primaryVsOptionalSplit Splitpane. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__SPLITPANE5_POS
Pos of consoleVsReportSplit Splitpane |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__WINDOW_HEIGHT
Height of main KReator window. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__WINDOW_POS_X
X-Pos of main KReator window. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__WINDOW_POS_Y
Y-Pos of main KReator window. |
static IntegerConfigurationOption |
Configuration.USERINTERFACE__WINDOW_WIDTH
Width of main KReator window. |
Methods in edu.cs.ai.kreator.control.config with parameters of type IntegerConfigurationOption | |
---|---|
static java.lang.Integer |
ConfigurationFacility.getProperty(IntegerConfigurationOption option)
Fetches the value for the given option from the config. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |