Theia API Documentation v1.65.0
    Preparing search index...

    Module browser/search/terminal-search-widget

    Classes

    TerminalSearchWidget

    Type Aliases

    TerminalSearchWidgetFactory

    Variables

    TERMINAL_SEARCH_WIDGET_FACTORY_ID
    TerminalSearchWidgetFactory

    Settings

    Member Visibility

    On This Page

    Classes
    Type Aliases
    Variables