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

    Module browser/predefined-shell-tool

    Classes

    PredefinedShellTool

    Variables

    PREDEFINED_SHELL_TOOL_PROVIDER

    Settings

    Member Visibility

    On This Page

    Classes
    Variables