How does the terminal reconnect?

PeimingMo1 · 1 November 2020 12:05

When Theia reconnects, its terminals (if it has) reconnect too. What i don’t want its terminals reconnect, can i do that? Could you show me the process of how the terminal reconnect?

kittaakos · 2 November 2020 12:40

The app on startup tries to initialize the layout:

github.com

eclipse-theia/theia/blob/33886b52c5a0efa4bd5d9035d9f0ef4c4654b6a9/packages/core/src/browser/frontend-application.ts#L132


 */
async start(): Promise<void> {
    await this.startContributions();
    this.stateService.state = 'started_contributions';

    const host = await this.getHost();
    this.attachShell(host);
    await animationFrame();
    this.stateService.state = 'attached_shell';

    await this.initializeLayout();
    this.stateService.state = 'initialized_layout';
    await this.fireOnDidInitializeLayout();

    await this.revealShell(host);
    this.registerEventListeners();
    this.stateService.state = 'ready';
}

/**
 * Return a promise to the host element to which the application shell is attached.

When it is possible, the app restores the previous layout as part of the initialization:

github.com

eclipse-theia/theia/blob/33886b52c5a0efa4bd5d9035d9f0ef4c4654b6a9/packages/core/src/browser/frontend-application.ts#L264


        await this.createDefaultLayout();
    }
    await this.shell.pendingUpdates;
}

/**
 * Try to restore the shell layout from the storage service. Resolves to `true` if successful.
 */
protected async restoreLayout(): Promise<boolean> {
    try {
        return await this.layoutRestorer.restoreLayout(this);
    } catch (error) {
        if (ApplicationShellLayoutMigrationError.is(error)) {
            console.warn(error.message);
            console.info('Initializing the default layout instead...');
        } else {
            console.error('Could not restore layout', error);
        }
        return false;
    }
}

Each terminal session will create a terminal widget, when you start the app, the IDE tries restore the terminal widgets here:

github.com

eclipse-theia/theia/blob/33886b52c5a0efa4bd5d9035d9f0ef4c4654b6a9/packages/terminal/src/browser/terminal-widget-impl.ts#L354-L360


if (this.restored === false) {
    const state = oldState as { terminalId: number, titleLabel: string };
    /* This is a workaround to issue #879 */
    this.restored = true;
    this.title.label = state.titleLabel;
    this.start(state.terminalId);
}

Customize this method to avoid reconnecting the terminals.

PeimingMo1 · 3 November 2020 01:50

That is cool, thank you very much, i will try it.