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