@opensumi/ide-terminal-next 3.7.2-next-1740052080.0 → 3.7.2-next-1740054042.0

package/lib/browser/terminal.controller.js

@@ -0,0 +1,669 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TerminalController = void 0;
+const tslib_1 = require("tslib");
+const di_1 = require("@opensumi/di");
+const ide_core_browser_1 = require("@opensumi/ide-core-browser");
+const container_id_1 = require("@opensumi/ide-core-browser/lib/common/container-id");
+const next_1 = require("@opensumi/ide-core-browser/lib/menu/next");
+const menu_util_1 = require("@opensumi/ide-core-browser/lib/menu/next/menu-util");
+const menu_interface_1 = require("@opensumi/ide-core-browser/lib/menu/next/menu.interface");
+const types_1 = require("@opensumi/ide-core-browser/lib/preferences/types");
+const ide_core_common_1 = require("@opensumi/ide-core-common");
+const ide_editor_1 = require("@opensumi/ide-editor");
+const ide_main_layout_1 = require("@opensumi/ide-main-layout");
+const ide_theme_1 = require("@opensumi/ide-theme");
+const common_1 = require("../common");
+const terminal_context_key_1 = require("./terminal.context-key");
+const terminal_view_1 = require("./terminal.view");
+let TerminalController = class TerminalController extends ide_core_common_1.WithEventBus {
+    get themeBackground() {
+        return this._themeBackground;
+    }
+    set themeBackground(value) {
+        if (value !== this._themeBackground) {
+            this._themeBackground = value;
+            this._onThemeBackgroundChangeEmitter.fire(value);
+        }
+    }
+    get clients() {
+        return this._clients;
+    }
+    get focused() {
+        return this._focus;
+    }
+    get ready() {
+        return this._ready;
+    }
+    get activeClient() {
+        if (this._activeClientId) {
+            return this._clients.get(this._activeClientId);
+        }
+    }
+    get contextKeyService() {
+        if (this.terminalContextKey) {
+            return this.terminalContextKey.service;
+        }
+    }
+    get clientId() {
+        if (this._clientId) {
+            return this._clientId;
+        }
+        this._clientId = this.applicationService.clientId;
+        return this._clientId;
+    }
+    get _tabBarHandler() {
+        return this.layoutService.getTabbarHandler(container_id_1.TERMINAL_CONTAINER_ID);
+    }
+    async _createClientOrIgnore(widget) {
+        if (this._clients.has(widget.id)) {
+            return this._clients.get(widget.id);
+        }
+        return await this._createClient(widget);
+    }
+    async _createClient(widget, options) {
+        const client = await this.clientFactory(widget, options);
+        this.logger.log('create client with ITerminalClientFactory2', client);
+        return this.setupClient(widget, client);
+    }
+    setupClient(widget, client) {
+        this._clients.set(client.id, client);
+        this.logger.log(`setup client ${client.id}`);
+        client.addDispose(client.onExit((e) => {
+            // 在这个函数内不要 removeWidget，会导致 TerminalTask 场景下任务执行完毕直接退出而不是用户手动触发 onKeyDown 退出
+            this._onDidCloseTerminal.fire({ id: client.id, code: e.code });
+        }));
+        client.addDispose(client.onTitleChange((e) => {
+            this._onDidTerminalTitleChange.fire({ id: client.id, name: e.name });
+        }));
+        client.addDispose({
+            dispose: () => {
+                this._clients.delete(client.id);
+                this._onDidCloseTerminal.fire({ id: client.id, code: -1 });
+            },
+        });
+        client.addDispose(client.onLinksReady(() => {
+            this._setInstanceLinkProviders(client);
+        }));
+        this._onDidOpenTerminal.fire({
+            id: client.id,
+            name: client.name,
+            isActive: false,
+        });
+        this.terminalView.selectWidget(widget.id);
+        return client;
+    }
+    _disposeClient(widget) {
+        const client = this.findClientFromWidgetId(widget.id);
+        client && client.dispose();
+    }
+    constructor() {
+        super();
+        this._onDidOpenTerminal = new ide_core_common_1.Emitter();
+        this._onDidCloseTerminal = new ide_core_common_1.Emitter();
+        this._onDidTerminalTitleChange = new ide_core_common_1.Emitter();
+        this._onDidChangeActiveTerminal = new ide_core_common_1.Emitter();
+        this._ready = new ide_core_common_1.Deferred();
+        this._linkProviders = new Set();
+        this._linkProviderDisposables = new Map();
+        this.onDidOpenTerminal = this._onDidOpenTerminal.event;
+        this.onDidCloseTerminal = this._onDidCloseTerminal.event;
+        this.onDidTerminalTitleChange = this._onDidTerminalTitleChange.event;
+        this.onDidChangeActiveTerminal = this._onDidChangeActiveTerminal.event;
+        this._onInstanceRequestStartExtensionTerminal = new ide_core_common_1.Emitter();
+        this.onInstanceRequestStartExtensionTerminal = this._onInstanceRequestStartExtensionTerminal.event;
+        this.viewReady = new ide_core_common_1.Deferred();
+        this._onThemeBackgroundChangeEmitter = new ide_core_common_1.Emitter();
+        this.onThemeBackgroundChange = this._onThemeBackgroundChangeEmitter.event;
+        this._focus = false;
+        this._clients = new Map();
+    }
+    _createOneGroup(options) {
+        const index = this.terminalView.createGroup(options);
+        const group = this.terminalView.getGroup(index);
+        return { group, index };
+    }
+    _reset() {
+        const { group } = this._createOneGroup();
+        const widget = this.terminalView.createWidget(group);
+        return widget;
+    }
+    async recovery(history) {
+        var _a, _b, _c, _d, _e;
+        // Electron的环境下，不启用终端恢复能力
+        // 而且在Electron的环境下，clientId的获取方式也不一样，但因为不启用恢复能力，所以后面的代码也无需做额外处理
+        if (this.config.isElectronRenderer && !this.config.isRemote) {
+            return;
+        }
+        // 先对recovery数据做一个简单校验，因为之前groups数据可能是字符串或object，而现在抛弃了字符串的方式
+        // 所以为了避免旧逻辑写入localStorage的数据混乱，这里做一个简单的校验
+        if (!history.current || !((_c = (_b = (_a = history === null || history === void 0 ? void 0 : history.groups) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b[0]) === null || _c === void 0 ? void 0 : _c.client)) {
+            return;
+        }
+        // HACK: 因为现在的终端重连是有问题的，是ClientID机制导致的，因此在拿出记录恢复终端的时候，需要把里面的ClientID替换为当前活跃窗口的ClientID
+        // 同时在独立PtyService中，把终端重连的标识转变为真正的realSessionId  也就是 ${clientId}|${realSessionId}
+        const currentRealSessionId = (_e = (_d = history.current) === null || _d === void 0 ? void 0 : _d.split(common_1.TERMINAL_ID_SEPARATOR)) === null || _e === void 0 ? void 0 : _e[1];
+        if (history.current && history.current.includes(common_1.TERMINAL_ID_SEPARATOR)) {
+            history.current = `${this.clientId}|${currentRealSessionId}`;
+        }
+        history.groups = history.groups.map((group) => {
+            if (Array.isArray(group)) {
+                // 替换clientId为当前窗口ClientID
+                return group
+                    .map(({ client, ...other }) => {
+                    var _a;
+                    if (other.task) {
+                        // #1531 不恢复 Task 类型的终端
+                        return undefined;
+                    }
+                    return {
+                        client: client.includes(common_1.TERMINAL_ID_SEPARATOR)
+                            ? `${this.clientId}${common_1.TERMINAL_ID_SEPARATOR}${(_a = client === null || client === void 0 ? void 0 : client.split(common_1.TERMINAL_ID_SEPARATOR)) === null || _a === void 0 ? void 0 : _a[1]}`
+                            : client,
+                        ...other,
+                    };
+                })
+                    .filter(Boolean);
+            }
+            else {
+                return group;
+            }
+        });
+        let currentWidgetId = '';
+        let firstAvailableId = '';
+        const { groups, current } = history;
+        for (const widgets of groups) {
+            if (!widgets) {
+                continue;
+            }
+            if (widgets.length === 0) {
+                continue;
+            }
+            const { group } = this._createOneGroup();
+            const promises = [];
+            for (const session of widgets) {
+                if (!session) {
+                    continue;
+                }
+                promises.push((async () => {
+                    /**
+                     * widget 创建完成后会同时创建 client
+                     */
+                    const widget = this.terminalView.createWidget(group, typeof session === 'string' ? session : session.client, !!session.task, false, true);
+                    const client = await this.clientFactory(widget);
+                    // 终端被Resume的场景下也要绑定终端事件，避免意料之外的BUG
+                    this.setupClient(widget, client);
+                    if (session.task) {
+                        client.isTaskExecutor = true;
+                        client.taskId = session.task;
+                    }
+                    this._clients.set(client.id, client);
+                    if (current === client.id) {
+                        currentWidgetId = widget.id;
+                    }
+                    if (!firstAvailableId) {
+                        firstAvailableId = widget.id;
+                    }
+                    /**
+                     * 等待预先连接成功
+                     */
+                    client.attached.promise.then(() => {
+                        widget.rename(client.name);
+                        // client.term.writeln('\x1b[2mTerminal restored\x1b[22m');
+                        /**
+                         * 不成功的时候则认为这个连接已经失效了，去掉这个 widget
+                         */
+                        if (!client.ready) {
+                            this.terminalView.removeWidget(widget.id);
+                        }
+                    });
+                })());
+            }
+            await Promise.all(promises);
+        }
+        const selectedIndex = this.terminalView.groups.get().findIndex((group) => group.widgetsMap.has(currentWidgetId));
+        if (selectedIndex > -1 && currentWidgetId) {
+            this.terminalView.selectWidget(currentWidgetId);
+        }
+        else if (firstAvailableId) {
+            this.terminalView.selectWidget(firstAvailableId);
+        }
+    }
+    initContextKey(dom) {
+        this.terminalContextKey = this.injector.get(terminal_context_key_1.TerminalContextKey, [dom]);
+        this.terminalContextKey.isTerminalFocused.set(this._focus);
+        this.terminalContextKey.isTerminalViewInitialized.set(true);
+    }
+    async firstInitialize() {
+        await Promise.race([
+            (async () => {
+                await this.layoutService.viewReady.promise;
+                await this.viewReady.promise;
+            })(),
+            new Promise((resolve) => {
+                setTimeout(() => {
+                    this.logger.warn("TerminalView didn't initialize in 2s, skip waiting, but may cause some problem");
+                    resolve();
+                }, 2000);
+            }),
+        ]);
+        this.themeBackground = this.terminalTheme.terminalTheme.background || '';
+        this.addDispose(this.terminalView.onWidgetCreated((widget) => {
+            this._createClientOrIgnore(widget);
+        }));
+        this.addDispose(this.terminalView.onWidgetDisposed((widget) => {
+            this._disposeClient(widget);
+        }));
+        this.addDispose(this.terminalView.onWidgetEmpty(() => {
+            this.hideTerminalPanel();
+        }));
+        this.addDispose(this.terminalView.onWidgetSelected((widget) => {
+            const client = this.findClientFromWidgetId(widget.id);
+            if (client) {
+                this._onDidChangeActiveTerminal.fire(client.id);
+                if (client.ready) {
+                    // 事件是同步触发的，事件发出时，界面可能还没更新完成，所以加个延迟
+                    // 当前选中的 client 已经完成渲染，聚焦
+                    setTimeout(() => {
+                        client.focus();
+                    });
+                }
+            }
+            this._activeClientId = client === null || client === void 0 ? void 0 : client.id;
+        }));
+        this.addDispose(this.themeService.onThemeChange(() => {
+            this._clients.forEach((client) => {
+                client.updateTheme();
+            });
+            this.themeBackground = this.terminalTheme.terminalTheme.background || '';
+        }));
+        this.addDispose(this.eventBus.onDirective(ide_core_browser_1.ResizeEvent.createDirective((0, ide_core_browser_1.getSlotLocation)('@opensumi/ide-terminal-next', this.config.layoutConfig)), () => {
+            if (this._tabBarHandler && this._tabBarHandler.isActivated()) {
+                this.terminalView.resize();
+            }
+        }));
+        this.registerContributedProfilesCommandAndMenu();
+        this.addDispose(this.profileService.onDidChangeAvailableProfiles(() => {
+            this.registerContributedProfilesCommandAndMenu();
+        }));
+        if (this._tabBarHandler) {
+            this.addDispose(this._tabBarHandler.onActivate(() => {
+                if (this.terminalView.empty()) {
+                    const current = this._reset();
+                    this.terminalView.selectWidget(current.id);
+                }
+                else {
+                    this.terminalView.selectGroup(this.terminalView.currentGroupIndex.get() > -1 ? this.terminalView.currentGroupIndex.get() : 0);
+                }
+            }));
+            this.addDispose(this._tabBarHandler.onInActivate(() => {
+                if (this.editorService.currentEditor) {
+                    this.editorService.currentEditor.monacoEditor.focus();
+                }
+            }));
+            if (this._tabBarHandler.isActivated()) {
+                if (this.terminalView.empty()) {
+                    const widget = this._reset();
+                    this.terminalView.selectWidget(widget.id);
+                }
+                else {
+                    this.terminalView.selectGroup(this.terminalView.currentGroupIndex.get() > -1 ? this.terminalView.currentGroupIndex.get() : 0);
+                }
+            }
+        }
+        this.terminalContextKey.isTerminalViewInitialized.set(true);
+        this._ready.resolve();
+    }
+    async reconnect() {
+        const clients = Array.from(this._clients.values());
+        // 在重连的时候检查终端的健康状态，如果不健康的话，展示相关信息提示用户
+        clients.forEach(async (client) => {
+            const clientHealthy = await client.checkHealthy();
+            if (!clientHealthy) {
+                client.displayUnHealthyMessage();
+            }
+        });
+    }
+    focus() {
+        this._focus = true;
+        this.terminalContextKey.isTerminalFocused.set(true);
+    }
+    blur() {
+        this._focus = false;
+        this.terminalContextKey.isTerminalFocused.set(false);
+    }
+    onContextMenu(e) {
+        e.preventDefault();
+        const menus = this.menuService.createMenu(next_1.MenuId.TerminalInstanceContext);
+        const menuNodes = (0, menu_util_1.generateCtxMenu)({ menus });
+        this.ctxMenuRenderer.show({
+            menuNodes: menuNodes[1],
+            anchor: {
+                x: e.clientX,
+                y: e.clientY,
+            },
+        });
+    }
+    toJSON() {
+        const groups = [];
+        let cClient = this._clients.get(this.terminalView.currentWidgetId.get());
+        this.terminalView.groups.get().forEach((wGroup) => {
+            const group = [];
+            const widgets = wGroup.widgets.get();
+            widgets.forEach((widget) => {
+                var _a;
+                const client = this._clients.get(widget.id);
+                const disablePersistence = !this.preferenceService.get("terminal.integrated.enablePersistentSessions" /* CodeTerminalSettingId.EnablePersistentSessions */) ||
+                    ((_a = client === null || client === void 0 ? void 0 : client.launchConfig) === null || _a === void 0 ? void 0 : _a.disablePersistence);
+                if (!client || disablePersistence || (client === null || client === void 0 ? void 0 : client.isTaskExecutor)) {
+                    return;
+                }
+                if (!cClient) {
+                    cClient = client;
+                }
+                const record = { client: client.id };
+                group.push(record);
+            });
+            if (group.length > 0) {
+                groups.push(group);
+            }
+        });
+        return {
+            groups,
+            current: cClient && cClient.id,
+        };
+    }
+    disposeTerminalClients(filter) {
+        const clients = Array.from(this.clients.values()).filter((client) => client.id === (filter === null || filter === void 0 ? void 0 : filter.id) || client.isTaskExecutor === (filter === null || filter === void 0 ? void 0 : filter.isTaskExecutor) || client.name === (filter === null || filter === void 0 ? void 0 : filter.name));
+        for (const client of clients) {
+            try {
+                client.dispose();
+            }
+            catch (err) {
+                //
+            }
+        }
+    }
+    findClientFromWidgetId(widgetId) {
+        return this._clients.get(widgetId);
+    }
+    convertTerminalOptionsToLaunchConfig(options) {
+        const shellLaunchConfig = {
+            name: options.name,
+            executable: (0, ide_core_common_1.withNullAsUndefined)(options.shellPath),
+            args: (0, ide_core_common_1.withNullAsUndefined)(options.shellArgs),
+            cwd: (0, ide_core_common_1.withNullAsUndefined)(options.cwd),
+            env: (0, ide_core_common_1.withNullAsUndefined)(options.env),
+            icon: (0, ide_core_common_1.withNullAsUndefined)((0, common_1.asTerminalIcon)(options.iconPath)),
+            color: (0, ide_core_common_1.isThemeColor)(options.color) ? options.color.id : undefined,
+            initialText: (0, ide_core_common_1.withNullAsUndefined)(options.message),
+            strictEnv: (0, ide_core_common_1.withNullAsUndefined)(options.strictEnv),
+            hideFromUser: (0, ide_core_common_1.withNullAsUndefined)(options.hideFromUser),
+            // isFeatureTerminal: withNullAsUndefined(options?.isFeatureTerminal),
+            isExtensionOwnedTerminal: options.isExtensionTerminal,
+            // useShellEnvironment: withNullAsUndefined(internalOptions?.useShellEnvironment),
+            // 只支持 Panel
+            location: common_1.TerminalLocation.Panel,
+            disablePersistence: (0, ide_core_common_1.withNullAsUndefined)(options.isTransient),
+        };
+        shellLaunchConfig.__fromTerminalOptions = options;
+        return shellLaunchConfig;
+    }
+    convertProfileToLaunchConfig(shellLaunchConfigOrProfile, cwd) {
+        if (!shellLaunchConfigOrProfile) {
+            return {};
+        }
+        // Profile was provided
+        if (shellLaunchConfigOrProfile && 'profileName' in shellLaunchConfigOrProfile) {
+            const profile = shellLaunchConfigOrProfile;
+            if (!profile.path) {
+                return shellLaunchConfigOrProfile;
+            }
+            return {
+                executable: profile.path,
+                args: profile.args,
+                env: profile.env,
+                // icon: profile.icon,
+                color: profile.color,
+                name: profile.overrideName ? profile.profileName : undefined,
+                cwd,
+            };
+        }
+        if (cwd) {
+            shellLaunchConfigOrProfile.cwd = cwd;
+        }
+        return shellLaunchConfigOrProfile;
+    }
+    async createTerminalWithWidgetByTerminalOptions(options) {
+        const launchConfig = this.convertTerminalOptionsToLaunchConfig(options.terminalOptions);
+        return this.createTerminalWithWidget({
+            ...options,
+            config: launchConfig,
+        });
+    }
+    async createTerminal(options) {
+        const widgetId = options.id || this.service.generateSessionId();
+        const { group } = this._createOneGroup();
+        const widget = this.terminalView.createWidget(group, widgetId, false, true);
+        const client = await this._createClient(widget, options);
+        return client;
+    }
+    async createTerminalWithWidget(options) {
+        const widgetId = options.id ? this.clientId + common_1.TERMINAL_ID_SEPARATOR + options.id : this.service.generateSessionId();
+        // 这里转一遍是为了拿到 LaunchConfig，但是在 TerminalClient 内部还是会对 options.config 做可用检测并转换
+        const launchConfig = this.convertProfileToLaunchConfig(options.config);
+        const { group } = this._createOneGroup(launchConfig);
+        const widget = this.terminalView.createWidget(group, widgetId, options.isTaskExecutor || !options.closeWhenExited, true);
+        if (options.beforeCreate && typeof options.beforeCreate === 'function') {
+            options.beforeCreate(widgetId);
+        }
+        const client = await this._createClient(widget, {
+            id: widgetId,
+            config: launchConfig,
+            cwd: options === null || options === void 0 ? void 0 : options.cwd,
+            location: options === null || options === void 0 ? void 0 : options.location,
+            resource: options === null || options === void 0 ? void 0 : options.resource,
+        });
+        if (options.isTaskExecutor) {
+            client.isTaskExecutor = true;
+            client.taskId = options.taskId;
+        }
+        return client;
+    }
+    clearCurrentGroup() {
+        const group = this.terminalView.currentGroup.get();
+        if (group) {
+            const widgets = group.widgets.get();
+            widgets.forEach((widget) => {
+                const client = this._clients.get(widget.id);
+                if (client) {
+                    client.clear();
+                }
+            });
+        }
+    }
+    clearAllGroups() {
+        this._clients.forEach((client) => {
+            if (client) {
+                client.clear();
+            }
+        });
+    }
+    showTerminalPanel() {
+        if (this._tabBarHandler) {
+            this._tabBarHandler.activate();
+        }
+    }
+    hideTerminalPanel() {
+        if (this._tabBarHandler && this._tabBarHandler.isActivated()) {
+            this._tabBarHandler.deactivate();
+        }
+    }
+    toggleTerminalPanel() {
+        if (!this._tabBarHandler) {
+            return;
+        }
+        if (this._tabBarHandler.isActivated()) {
+            this._tabBarHandler.deactivate();
+        }
+        else {
+            this._tabBarHandler.activate();
+        }
+    }
+    requestStartExtensionTerminal(proxy, cols, rows) {
+        // The initial request came from the extension host, no need to wait for it
+        return new Promise((callback) => {
+            this._onInstanceRequestStartExtensionTerminal.fire({ proxy, cols, rows, callback });
+        });
+    }
+    registerLinkProvider(linkProvider) {
+        const disposable = new ide_core_common_1.DisposableStore();
+        this._linkProviders.add(linkProvider);
+        for (const client of this._clients.values()) {
+            if (client.areLinksReady) {
+                disposable.add(client.registerLinkProvider(linkProvider));
+            }
+        }
+        this._linkProviderDisposables.set(linkProvider, disposable);
+        return {
+            dispose: () => {
+                const disposable = this._linkProviderDisposables.get(linkProvider);
+                disposable === null || disposable === void 0 ? void 0 : disposable.dispose();
+                this._linkProviders.delete(linkProvider);
+            },
+        };
+    }
+    _setInstanceLinkProviders(instance) {
+        for (const linkProvider of this._linkProviders) {
+            const disposable = this._linkProviderDisposables.get(linkProvider);
+            const provider = instance.registerLinkProvider(linkProvider);
+            disposable === null || disposable === void 0 ? void 0 : disposable.add(provider);
+        }
+    }
+    registerContributedProfilesCommandAndMenu() {
+        if (this.commandAndMenuDisposeCollection) {
+            this.commandAndMenuDisposeCollection.dispose();
+        }
+        this.commandAndMenuDisposeCollection = new ide_core_common_1.DisposableCollection();
+        // 展示在下拉列表的数据
+        const notAutoDetectedProfiles = this.profileService.availableProfiles.filter((profile) => !profile.isAutoDetected);
+        notAutoDetectedProfiles.forEach((profile) => {
+            const id = `TerminalProfilesCommand:${profile.path}:${profile.profileName}`;
+            this.commandAndMenuDisposeCollection.push(this.commandRegistry.registerCommand({
+                id,
+            }, {
+                execute: async () => {
+                    await this.createTerminal({
+                        config: profile,
+                    });
+                },
+            }));
+            this.commandAndMenuDisposeCollection.push(this.menuRegistry.registerMenuItem(next_1.MenuId.TerminalNewDropdownContext, {
+                command: {
+                    id,
+                    label: profile.profileName || 'unknown profile',
+                },
+            }));
+        });
+        this.profileService.contributedProfiles.forEach((profile) => {
+            const id = `TerminalProfilesCommand:${profile.extensionIdentifier}:${profile.id}`;
+            this.commandAndMenuDisposeCollection.push(this.commandRegistry.registerCommand({
+                id,
+            }, {
+                execute: async () => {
+                    await this.profileService.createContributedTerminalProfile(profile.extensionIdentifier, profile.id, {
+                        icon: profile.icon,
+                    });
+                },
+            }));
+            this.commandAndMenuDisposeCollection.push(this.menuRegistry.registerMenuItem(next_1.MenuId.TerminalNewDropdownContext, {
+                command: {
+                    id,
+                    label: (0, ide_core_common_1.replaceLocalizePlaceholder)(profile.title) || profile.title || 'unknown profile',
+                },
+            }));
+        });
+    }
+};
+exports.TerminalController = TerminalController;
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_main_layout_1.IMainLayoutService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "layoutService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_theme_1.IThemeService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "themeService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_editor_1.WorkbenchEditorService),
+    tslib_1.__metadata("design:type", ide_editor_1.WorkbenchEditorService)
+], TerminalController.prototype, "editorService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalTheme),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "terminalTheme", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalGroupViewService),
+    tslib_1.__metadata("design:type", terminal_view_1.TerminalGroupViewService)
+], TerminalController.prototype, "terminalView", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalClientFactory2),
+    tslib_1.__metadata("design:type", Function)
+], TerminalController.prototype, "clientFactory", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalInternalService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "service", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalErrorService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "errorService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(common_1.ITerminalProfileService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "profileService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_core_common_1.CommandRegistry),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "commandRegistry", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(next_1.IMenuRegistry),
+    tslib_1.__metadata("design:type", next_1.IMenuRegistry)
+], TerminalController.prototype, "menuRegistry", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_core_common_1.IApplicationService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "applicationService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(di_1.INJECTOR_TOKEN),
+    tslib_1.__metadata("design:type", di_1.Injector)
+], TerminalController.prototype, "injector", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_core_browser_1.AppConfig),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "config", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_core_common_1.ILogger),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "logger", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(menu_interface_1.AbstractMenuService),
+    tslib_1.__metadata("design:type", menu_interface_1.AbstractMenuService)
+], TerminalController.prototype, "menuService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(next_1.ICtxMenuRenderer),
+    tslib_1.__metadata("design:type", next_1.ICtxMenuRenderer)
+], TerminalController.prototype, "ctxMenuRenderer", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(types_1.PreferenceService),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "preferenceService", void 0);
+tslib_1.__decorate([
+    (0, di_1.Autowired)(ide_core_browser_1.AppConfig),
+    tslib_1.__metadata("design:type", Object)
+], TerminalController.prototype, "appConfig", void 0);
+exports.TerminalController = TerminalController = tslib_1.__decorate([
+    (0, di_1.Injectable)(),
+    tslib_1.__metadata("design:paramtypes", [])
+], TerminalController);
+//# sourceMappingURL=terminal.controller.js.map