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

    An event signalling that a terminal's shell integration has changed.

    interface TerminalShellIntegrationChangeEvent {
        shellIntegration: TerminalShellIntegration;
        terminal: Terminal;
    }
    Index

    Properties

    shellIntegration: TerminalShellIntegration

    The shell integration object.

    terminal: Terminal

    The terminal that shell integration has been activated in.