Theia API Documentation v1.65.0
    Preparing search index...
    interface TerminalService {
        all: TerminalWidget[];
        currentTerminal: undefined | TerminalWidget;
        lastUsedTerminal: undefined | TerminalWidget;
        onDidChangeCurrentTerminal: Event<undefined | TerminalWidget>;
        onDidCreateTerminal: Event<TerminalWidget>;
        getById(id: string): undefined | TerminalWidget;
        getByTerminalId(terminalId: number): undefined | TerminalWidget;
        getDefaultShell(): Promise<string>;
        newTerminal(options: TerminalWidgetOptions): Promise<TerminalWidget>;
        open(terminal: TerminalWidget, options?: WidgetOpenerOptions): void;
    }

    Implemented by

    Index

    Properties

    currentTerminal: undefined | TerminalWidget
    lastUsedTerminal: undefined | TerminalWidget
    onDidChangeCurrentTerminal: Event<undefined | TerminalWidget>
    onDidCreateTerminal: Event<TerminalWidget>

    Methods