@@ -63,25 +63,25 @@ export class FindInput extends Widget {
6363 public readonly inputBox : HistoryInputBox ;
6464
6565 private readonly _onDidOptionChange = this . _register ( new Emitter < boolean > ( ) ) ;
66- public readonly onDidOptionChange : Event < boolean /* via keyboard */ > = this . _onDidOptionChange . event ;
66+ public get onDidOptionChange ( ) : Event < boolean /* via keyboard */ > { return this . _onDidOptionChange . event ; }
6767
6868 private readonly _onKeyDown = this . _register ( new Emitter < IKeyboardEvent > ( ) ) ;
69- public readonly onKeyDown : Event < IKeyboardEvent > = this . _onKeyDown . event ;
69+ public get onKeyDown ( ) : Event < IKeyboardEvent > { return this . _onKeyDown . event ; }
7070
7171 private readonly _onMouseDown = this . _register ( new Emitter < IMouseEvent > ( ) ) ;
72- public readonly onMouseDown : Event < IMouseEvent > = this . _onMouseDown . event ;
72+ public get onMouseDown ( ) : Event < IMouseEvent > { return this . _onMouseDown . event ; }
7373
7474 private readonly _onInput = this . _register ( new Emitter < void > ( ) ) ;
75- public readonly onInput : Event < void > = this . _onInput . event ;
75+ public get onInput ( ) : Event < void > { return this . _onInput . event ; }
7676
7777 private readonly _onKeyUp = this . _register ( new Emitter < IKeyboardEvent > ( ) ) ;
78- public readonly onKeyUp : Event < IKeyboardEvent > = this . _onKeyUp . event ;
78+ public get onKeyUp ( ) : Event < IKeyboardEvent > { return this . _onKeyUp . event ; }
7979
8080 private _onCaseSensitiveKeyDown = this . _register ( new Emitter < IKeyboardEvent > ( ) ) ;
81- public readonly onCaseSensitiveKeyDown : Event < IKeyboardEvent > = this . _onCaseSensitiveKeyDown . event ;
81+ public get onCaseSensitiveKeyDown ( ) : Event < IKeyboardEvent > { return this . _onCaseSensitiveKeyDown . event ; }
8282
8383 private _onRegexKeyDown = this . _register ( new Emitter < IKeyboardEvent > ( ) ) ;
84- public readonly onRegexKeyDown : Event < IKeyboardEvent > = this . _onRegexKeyDown . event ;
84+ public get onRegexKeyDown ( ) : Event < IKeyboardEvent > { return this . _onRegexKeyDown . event ; }
8585
8686 constructor ( parent : HTMLElement | null , contextViewProvider : IContextViewProvider | undefined , options : IFindInputOptions ) {
8787 super ( ) ;
0 commit comments