C# 클래스 GUI.EditorView.Window

상속: BaseForm
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드 설명
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

비공개 메소드들

메소드 설명
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

메소드 상세

EditorTextBoxHasFocus() 공개 메소드

Indicates that the editor text box has the focus
public EditorTextBoxHasFocus ( ) : bool
리턴 bool

RefreshText() 공개 메소드

Refreshes the text of the text box
public RefreshText ( ) : void
리턴 void

Window() 공개 메소드

Constructor
public Window ( ) : System
리턴 System

setChangeHandler() 공개 메소드

The element on which this editor is built
public setChangeHandler ( HandleTextChange handleTextChange ) : void
handleTextChange HandleTextChange
리턴 void