Preparing search index...
The search index is not available

Theia TypeDoc
terminal
TERMINAL_SEARCH_WIDGET_FACTORY_ID

Variable TERMINAL_SEARCH_WIDGET_FACTORY_ID`Const`

TERMINAL_SEARCH_WIDGET_FACTORY_ID: "terminal-search" = 'terminal-search'

Defined in packages/terminal/src/browser/search/terminal-search-widget.tsx:25

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...