SourceEditorWidget Class Reference

Widget to edit C# code. More...

Collaboration diagram for SourceEditorWidget:

[legend]List of all members.


Public Member Functions
	SourceEditorWidget (string languageMimeType, CommandHistoryStore commandHistoryStore, Shell shell)
void	SetBufferAndIndent (string code)
void	SetCommand (int commandNumber, string commandText)
	Must be called whenever a command is selected, by the user clicking in the "command history" table. And not when it is selected by AltUpArrow and AltDownArrow.
string	GetAndExecuteCommand ()
	Must be called whenever a command is executed.
Public Attributes
ObservableWriterStream	StdOutput = new ObservableWriterStream()
Protected Member Functions
override bool	OnKeyPressEvent (Gdk.EventKey evnt)
Private Member Functions
void	SetAndSelectCommand (int commandNumber)
	Sets a command and make CommandHistoryStore set it (highlight it).
void	AutoCompletion ()
Private Attributes
SourceBuffer	SourceBuffer
CommandHistoryStore	_commandHistoryStore
Shell	_shell
AutoCompletion	_autoCompletion
int	_currentCommandNumber = -1
string	_nonHistoryCommand = ""

Detailed Description

Widget to edit C# code.

Constructor & Destructor Documentation

SourceEditorWidget::SourceEditorWidget ( string languageMimeType,

CommandHistoryStore commandHistoryStore,

Shell shell

) [inline]

Member Function Documentation

void SourceEditorWidget::AutoCompletion ( ) [inline, private]

string SourceEditorWidget::GetAndExecuteCommand ( ) [inline]

Must be called whenever a command is executed.

override bool SourceEditorWidget::OnKeyPressEvent ( Gdk.EventKey evnt ) [inline, protected]

void SourceEditorWidget::SetAndSelectCommand ( int commandNumber ) [inline, private]

Sets a command and make CommandHistoryStore set it (highlight it).

void SourceEditorWidget::SetBufferAndIndent ( string code ) [inline]

void SourceEditorWidget::SetCommand ( int commandNumber,

string commandText

) [inline]

Must be called whenever a command is selected, by the user clicking in the "command history" table. And not when it is selected by AltUpArrow and AltDownArrow.