Interface ConsoleConfiguration
-
- All Superinterfaces:
Configuration
public interface ConsoleConfiguration extends Configuration
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.String
getBackgroundColor()
CompletionManager
getCompletionManager()
Returns the current completion managerCompletionWindow
getCompletionWindow()
java.lang.String
getFontName()
int
getFontSize()
int
getFontStyle()
java.lang.String
getForegroundColor()
GenericInterpreter
getGenericInterpreter()
Returns the current Generic InterpreterHistoryManager
getHistoryManager()
boolean
getHorizontalWrapAllowed()
InputCommandView
getInputCommandView()
javax.swing.text.StyledDocument
getInputCommandViewStyledDocument()
InputParsingManager
getInputParsingManager()
OutputView
getOutputView()
javax.swing.text.StyledDocument
getOutputViewStyledDocument()
PromptView
getPromptView()
int
getScrollableBlockIncrement()
int
getScrollableUnitIncrement()
boolean
getVerticalWrapAllowed()
java.lang.String
getWelcomeLine()
-
Methods inherited from interface com.artenum.rosetta.interfaces.core.Configuration
getActionMapping, getActiveProfile, getKeyMapping, setActiveProfile
-
-
-
-
Method Detail
-
getPromptView
PromptView getPromptView()
- Returns:
-
getOutputView
OutputView getOutputView()
- Returns:
-
getInputCommandView
InputCommandView getInputCommandView()
- Returns:
-
getOutputViewStyledDocument
javax.swing.text.StyledDocument getOutputViewStyledDocument()
- Returns:
-
getInputCommandViewStyledDocument
javax.swing.text.StyledDocument getInputCommandViewStyledDocument()
- Returns:
-
getInputParsingManager
InputParsingManager getInputParsingManager()
- Returns:
-
getGenericInterpreter
GenericInterpreter getGenericInterpreter()
Returns the current Generic Interpreter- Returns:
- the Generic Interpreter
-
getCompletionManager
CompletionManager getCompletionManager()
Returns the current completion manager- Returns:
- the completion manager
-
getCompletionWindow
CompletionWindow getCompletionWindow()
- Returns:
-
getHistoryManager
HistoryManager getHistoryManager()
- Returns:
-
getBackgroundColor
java.lang.String getBackgroundColor()
- Returns:
-
getForegroundColor
java.lang.String getForegroundColor()
- Returns:
-
getScrollableUnitIncrement
int getScrollableUnitIncrement()
- Returns:
-
getScrollableBlockIncrement
int getScrollableBlockIncrement()
- Returns:
-
getHorizontalWrapAllowed
boolean getHorizontalWrapAllowed()
- Returns:
-
getVerticalWrapAllowed
boolean getVerticalWrapAllowed()
- Returns:
-
getFontName
java.lang.String getFontName()
- Returns:
-
getFontStyle
int getFontStyle()
- Returns:
-
getFontSize
int getFontSize()
- Returns:
-
getWelcomeLine
java.lang.String getWelcomeLine()
- Returns:
-
-