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

    Module terminal-manager-types

    Namespaces

    TerminalManagerCommands
    TerminalManagerTreeTypes

    Type Aliases

    ReactInteraction

    Variables

    TASKS_PAGE_ID
    TERMINAL_MANAGER_TREE_CONTEXT_MENU

    Functions

    isTasksPageNode

    Settings

    Member Visibility

    On This Page

    Namespaces
    Type Aliases
    Variables
    Functions