| _autoCompletion | SourceEditorWidget | [private] |
| _commandHistoryStore | SourceEditorWidget | [private] |
| _currentCommandNumber | SourceEditorWidget | [private] |
| _nonHistoryCommand | SourceEditorWidget | [private] |
| _shell | SourceEditorWidget | [private] |
| AutoCompletion() | SourceEditorWidget | [inline, private] |
| GetAndExecuteCommand() | SourceEditorWidget | [inline] |
| OnKeyPressEvent(Gdk.EventKey evnt) | SourceEditorWidget | [inline, protected] |
| SetAndSelectCommand(int commandNumber) | SourceEditorWidget | [inline, private] |
| SetBufferAndIndent(string code) | SourceEditorWidget | [inline] |
| SetCommand(int commandNumber, string commandText) | SourceEditorWidget | [inline] |
| SourceBuffer | SourceEditorWidget | [private] |
| SourceEditorWidget(string languageMimeType, CommandHistoryStore commandHistoryStore, Shell shell) | SourceEditorWidget | [inline] |
| StdOutput | SourceEditorWidget |