Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • ReactWidget
    • TerminalSearchWidget

Index

Constructors

  • Parameters

    • Optional options: IOptions

    Returns TerminalSearchWidget

Properties

searchAddon: SearchAddon
searchBox: null | HTMLDivElement
searchInput: null | HTMLInputElement
searchOptions: ISearchOptions = {}
terminal: Terminal

Methods

  • handleCaseSensitiveOptionClicked(event: MouseEvent<HTMLSpanElement, MouseEvent>): void
  • handleHide(): void
  • handleNextButtonClicked(): void
  • handlePreviousButtonClicked(): void
  • handleRegexOptionClicked(event: MouseEvent<HTMLSpanElement, MouseEvent>): void
  • handleWholeWordOptionClicked(event: MouseEvent<HTMLSpanElement, MouseEvent>): void
  • init(): void
  • onAfterHide(): void
  • onAfterShow(): void
  • onInputChanged(event: KeyboardEvent<Element>): void
  • onSearchInputBlur(): void
  • onSearchInputFocus(): void
  • render(): ReactNode
  • search(incremental: boolean, searchDirection: "next" | "previous"): void
  • updateSearchInputBox(enable: boolean, optionElement: HTMLSpanElement): void