Class TerminalSearchWidget

Hierarchy

ReactWidget
- TerminalSearchWidget

Constructors

constructor

new TerminalSearchWidget(options?): TerminalSearchWidget
Parameters
- Optional options: IOptions
Returns TerminalSearchWidget
Inherited from ReactWidget.constructor
- Defined in packages/core/lib/browser/widgets/react-widget.d.ts:7

Properties

`Private` searchAddon

searchAddon: SearchAddon

`Private` searchBox

searchBox: null | HTMLDivElement

`Private` searchInput

searchInput: null | HTMLInputElement

`Private` searchOptions

searchOptions: ISearchOptions = {}

`Protected` terminal

terminal: Terminal

Methods

`Private` handleCaseSensitiveOptionClicked

handleCaseSensitiveOptionClicked(event): void
Parameters
- event: MouseEvent<HTMLSpanElement, MouseEvent>
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:90

`Private` handleHide

handleHide(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:86

`Private` handleNextButtonClicked

handleNextButtonClicked(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:144

`Private` handlePreviousButtonClicked

handlePreviousButtonClicked(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:148

`Private` handleRegexOptionClicked

handleRegexOptionClicked(event): void
Parameters
- event: MouseEvent<HTMLSpanElement, MouseEvent>
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:100

`Private` handleWholeWordOptionClicked

handleWholeWordOptionClicked(event): void
Parameters
- event: MouseEvent<HTMLSpanElement, MouseEvent>
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:95

`Protected` init

init(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:41

onAfterHide

onAfterHide(): void
Returns void
Overrides ReactWidget.onAfterHide
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:152

onAfterShow

onAfterShow(): void
Returns void
Overrides ReactWidget.onAfterShow
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:156

`Private` onInputChanged

onInputChanged(event): void
Parameters
- event: KeyboardEvent<Element>
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:114

onSearchInputBlur

onSearchInputBlur(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:80

onSearchInputFocus

onSearchInputFocus(): void
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:74

`Protected` render

render(): ReactNode
Returns ReactNode
Overrides ReactWidget.render
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:51

search

search(incremental, searchDirection): void
Parameters
- incremental: boolean
- searchDirection: "next" | "previous"
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:129

`Private` updateSearchInputBox

updateSearchInputBox(enable, optionElement): void
Parameters
- enable: boolean
- optionElement: HTMLSpanElement
Returns void
- Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:105