Uses of Class
edu.cs.ai.kreator.control.config.IntegerConfigurationOption

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.