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

    Re-registers terminal commands (e.g. new terminal) to execute them via the terminal manager instead of creating new, separate terminals.

    Implements

    Index

    Constructors

    Properties

    commandHandlerDisposables: DisposableCollection = ...
    commandRegistry: CommandRegistry
    preferenceService: PreferenceService
    terminalFrontendContribution: TerminalFrontendContribution
    terminalManagerViewContribution: TerminalManagerFrontendViewContribution
    widgetManager: WidgetManager

    Methods