Options
All
  • Public
  • Public/Protected
  • All
Menu

Class TerminalSearchWidget

Hierarchy

  • ReactWidget
    • TerminalSearchWidget

Index

Constructors

Properties

Methods

Constructors

constructor

  • Parameters

    • Optional options: IOptions

    Returns TerminalSearchWidget

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: MouseEvent<HTMLSpanElement, MouseEvent>): void

Private handleHide

  • handleHide(): void

Private handleNextButtonClicked

  • handleNextButtonClicked(): void

Private handlePreviousButtonClicked

  • handlePreviousButtonClicked(): void

Private handleRegexOptionClicked

  • handleRegexOptionClicked(event: MouseEvent<HTMLSpanElement, MouseEvent>): void

Private handleWholeWordOptionClicked

  • handleWholeWordOptionClicked(event: MouseEvent<HTMLSpanElement, MouseEvent>): void

Protected init

  • init(): void

onAfterHide

  • onAfterHide(): void

onAfterShow

  • onAfterShow(): void

Private onInputChanged

  • onInputChanged(event: KeyboardEvent<Element>): void

onSearchInputBlur

  • onSearchInputBlur(): void

onSearchInputFocus

  • onSearchInputFocus(): void

Protected render

  • render(): ReactNode

search

  • search(incremental: boolean, searchDirection: "next" | "previous"): void

Private updateSearchInputBox

  • updateSearchInputBox(enable: boolean, optionElement: HTMLSpanElement): void