C# Class GUI.EditorView.Window

Inheritance: BaseForm

Mostrar archivo Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method	Description
EditorTextBoxHasFocus ( ) : bool	Indicates that the editor text box has the focus
RefreshText ( ) : void	Refreshes the text of the text box
Window ( ) : System	Constructor
setChangeHandler ( HandleTextChange handleTextChange ) : void	The element on which this editor is built

Private Methods

Method	Description
TextBox_KeyUp ( object sender, KeyEventArgs e ) : void
TextChangedHandler ( object sender, EventArgs e ) : void	Called when the text has been changed in the inner text box This updates the instance according to the __textChangeHandler

Method Details

EditorTextBoxHasFocus() public method

Indicates that the editor text box has the focus

public EditorTextBoxHasFocus ( ) : bool
return	bool

RefreshText() public method

Refreshes the text of the text box

public RefreshText ( ) : void
return	void

Window() public method

Constructor

public Window ( ) : System
return	System

setChangeHandler() public method

The element on which this editor is built

public setChangeHandler ( HandleTextChange handleTextChange ) : void
handleTextChange	HandleTextChange
return	void