Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
browser/search/terminal-search-widget
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
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...