@theia/terminal 1.34.2 → 1.34.3

package/lib/browser/search/terminal-search-container.d.ts

@@ -1,4 +1,4 @@
-import { interfaces } from '@theia/core/shared/inversify';
-import { TerminalSearchWidgetFactory } from './terminal-search-widget';
-export declare function createTerminalSearchFactory(container: interfaces.Container): TerminalSearchWidgetFactory;
+import { interfaces } from '@theia/core/shared/inversify';
+import { TerminalSearchWidgetFactory } from './terminal-search-widget';
+export declare function createTerminalSearchFactory(container: interfaces.Container): TerminalSearchWidgetFactory;
 //# sourceMappingURL=terminal-search-container.d.ts.map

package/lib/browser/search/terminal-search-container.js

@@ -1,29 +1,29 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 Red Hat, Inc. and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.createTerminalSearchFactory = void 0;
-const terminal_search_widget_1 = require("./terminal-search-widget");
-const xterm_1 = require("xterm");
-function createTerminalSearchFactory(container) {
-    container.bind(terminal_search_widget_1.TerminalSearchWidget).toSelf().inSingletonScope();
-    return (terminal) => {
-        container.bind(xterm_1.Terminal).toConstantValue(terminal);
-        return container.get(terminal_search_widget_1.TerminalSearchWidget);
-    };
-}
-exports.createTerminalSearchFactory = createTerminalSearchFactory;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 Red Hat, Inc. and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createTerminalSearchFactory = void 0;
+const terminal_search_widget_1 = require("./terminal-search-widget");
+const xterm_1 = require("xterm");
+function createTerminalSearchFactory(container) {
+    container.bind(terminal_search_widget_1.TerminalSearchWidget).toSelf().inSingletonScope();
+    return (terminal) => {
+        container.bind(xterm_1.Terminal).toConstantValue(terminal);
+        return container.get(terminal_search_widget_1.TerminalSearchWidget);
+    };
+}
+exports.createTerminalSearchFactory = createTerminalSearchFactory;
 //# sourceMappingURL=terminal-search-container.js.map

package/lib/browser/search/terminal-search-widget.d.ts

@@ -1,31 +1,31 @@
-/// <reference types="react" />
-import { ReactWidget } from '@theia/core/lib/browser/widgets/react-widget';
-import * as React from '@theia/core/shared/react';
-import '../../../src/browser/style/terminal-search.css';
-import { Terminal } from 'xterm';
-export declare const TERMINAL_SEARCH_WIDGET_FACTORY_ID = "terminal-search";
-export declare const TerminalSearchWidgetFactory: unique symbol;
-export declare type TerminalSearchWidgetFactory = (terminal: Terminal) => TerminalSearchWidget;
-export declare class TerminalSearchWidget extends ReactWidget {
-    private searchInput;
-    private searchBox;
-    private searchOptions;
-    private searchAddon;
-    protected terminal: Terminal;
-    protected init(): void;
-    protected render(): React.ReactNode;
-    onSearchInputFocus: () => void;
-    onSearchInputBlur: () => void;
-    private handleHide;
-    private handleCaseSensitiveOptionClicked;
-    private handleWholeWordOptionClicked;
-    private handleRegexOptionClicked;
-    private updateSearchInputBox;
-    private onInputChanged;
-    search(incremental: boolean, searchDirection: 'next' | 'previous'): void;
-    private handleNextButtonClicked;
-    private handlePreviousButtonClicked;
-    onAfterHide(): void;
-    onAfterShow(): void;
-}
+/// <reference types="react" />
+import { ReactWidget } from '@theia/core/lib/browser/widgets/react-widget';
+import * as React from '@theia/core/shared/react';
+import '../../../src/browser/style/terminal-search.css';
+import { Terminal } from 'xterm';
+export declare const TERMINAL_SEARCH_WIDGET_FACTORY_ID = "terminal-search";
+export declare const TerminalSearchWidgetFactory: unique symbol;
+export declare type TerminalSearchWidgetFactory = (terminal: Terminal) => TerminalSearchWidget;
+export declare class TerminalSearchWidget extends ReactWidget {
+    private searchInput;
+    private searchBox;
+    private searchOptions;
+    private searchAddon;
+    protected terminal: Terminal;
+    protected init(): void;
+    protected render(): React.ReactNode;
+    onSearchInputFocus: () => void;
+    onSearchInputBlur: () => void;
+    private handleHide;
+    private handleCaseSensitiveOptionClicked;
+    private handleWholeWordOptionClicked;
+    private handleRegexOptionClicked;
+    private updateSearchInputBox;
+    private onInputChanged;
+    search(incremental: boolean, searchDirection: 'next' | 'previous'): void;
+    private handleNextButtonClicked;
+    private handlePreviousButtonClicked;
+    onAfterHide(): void;
+    onAfterShow(): void;
+}
 //# sourceMappingURL=terminal-search-widget.d.ts.map

package/lib/browser/search/terminal-search-widget.js

@@ -1,148 +1,148 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 Red Hat, Inc. and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.TerminalSearchWidget = exports.TerminalSearchWidgetFactory = exports.TERMINAL_SEARCH_WIDGET_FACTORY_ID = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const react_widget_1 = require("@theia/core/lib/browser/widgets/react-widget");
-const React = require("@theia/core/shared/react");
-require("../../../src/browser/style/terminal-search.css");
-const xterm_1 = require("xterm");
-const xterm_addon_search_1 = require("xterm-addon-search");
-const browser_1 = require("@theia/core/lib/browser");
-exports.TERMINAL_SEARCH_WIDGET_FACTORY_ID = 'terminal-search';
-exports.TerminalSearchWidgetFactory = Symbol('TerminalSearchWidgetFactory');
-let TerminalSearchWidget = class TerminalSearchWidget extends react_widget_1.ReactWidget {
-    constructor() {
-        super(...arguments);
-        this.searchOptions = {};
-        this.onSearchInputFocus = () => {
-            if (this.searchBox) {
-                this.searchBox.classList.add('focused');
-            }
-        };
-        this.onSearchInputBlur = () => {
-            if (this.searchBox) {
-                this.searchBox.classList.remove('focused');
-            }
-        };
-        this.handleHide = () => {
-            this.hide();
-        };
-        this.handleCaseSensitiveOptionClicked = (event) => {
-            this.searchOptions.caseSensitive = !this.searchOptions.caseSensitive;
-            this.updateSearchInputBox(this.searchOptions.caseSensitive, event.currentTarget);
-        };
-        this.handleWholeWordOptionClicked = (event) => {
-            this.searchOptions.wholeWord = !this.searchOptions.wholeWord;
-            this.updateSearchInputBox(this.searchOptions.wholeWord, event.currentTarget);
-        };
-        this.handleRegexOptionClicked = (event) => {
-            this.searchOptions.regex = !this.searchOptions.regex;
-            this.updateSearchInputBox(this.searchOptions.regex, event.currentTarget);
-        };
-        this.onInputChanged = (event) => {
-            // move to previous search result on `Shift + Enter`
-            if (event && event.shiftKey && event.keyCode === browser_1.Key.ENTER.keyCode) {
-                this.search(false, 'previous');
-                return;
-            }
-            // move to next search result on `Enter`
-            if (event && event.keyCode === browser_1.Key.ENTER.keyCode) {
-                this.search(false, 'next');
-                return;
-            }
-            this.search(true, 'next');
-        };
-        this.handleNextButtonClicked = () => {
-            this.search(false, 'next');
-        };
-        this.handlePreviousButtonClicked = () => {
-            this.search(false, 'previous');
-        };
-    }
-    init() {
-        this.node.classList.add('theia-search-terminal-widget-parent');
-        this.searchAddon = new xterm_addon_search_1.SearchAddon();
-        this.terminal.loadAddon(this.searchAddon);
-        this.hide();
-        this.update();
-    }
-    render() {
-        return React.createElement("div", { className: 'theia-search-terminal-widget' },
-            React.createElement("div", { className: 'theia-search-elem-box', ref: searchBox => this.searchBox = searchBox },
-                React.createElement("input", { title: 'Find', type: 'text', spellCheck: 'false', placeholder: 'Find', ref: ip => this.searchInput = ip, onKeyUp: this.onInputChanged, onFocus: this.onSearchInputFocus, onBlur: this.onSearchInputBlur }),
-                React.createElement("div", { title: 'Match case', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('case-sensitive'), onClick: this.handleCaseSensitiveOptionClicked }),
-                React.createElement("div", { title: 'Match whole word', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('whole-word'), onClick: this.handleWholeWordOptionClicked }),
-                React.createElement("div", { title: 'Use regular expression', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('regex'), onClick: this.handleRegexOptionClicked })),
-            React.createElement("button", { title: 'Previous match', className: 'search-elem ' + (0, browser_1.codicon)('arrow-up'), onClick: this.handlePreviousButtonClicked }),
-            React.createElement("button", { title: 'Next match', className: 'search-elem ' + (0, browser_1.codicon)('arrow-down'), onClick: this.handleNextButtonClicked }),
-            React.createElement("button", { title: 'Close', className: 'search-elem ' + (0, browser_1.codicon)('close'), onClick: this.handleHide }));
-    }
-    updateSearchInputBox(enable, optionElement) {
-        if (enable) {
-            optionElement.classList.add('option-enabled');
-        }
-        else {
-            optionElement.classList.remove('option-enabled');
-        }
-        this.searchInput.focus();
-    }
-    search(incremental, searchDirection) {
-        if (this.searchInput) {
-            this.searchOptions.incremental = incremental;
-            const searchText = this.searchInput.value;
-            if (searchDirection === 'next') {
-                this.searchAddon.findNext(searchText, this.searchOptions);
-            }
-            if (searchDirection === 'previous') {
-                this.searchAddon.findPrevious(searchText, this.searchOptions);
-            }
-        }
-    }
-    onAfterHide() {
-        this.terminal.focus();
-    }
-    onAfterShow() {
-        if (this.searchInput) {
-            this.searchInput.select();
-        }
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(xterm_1.Terminal),
-    __metadata("design:type", xterm_1.Terminal)
-], TerminalSearchWidget.prototype, "terminal", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], TerminalSearchWidget.prototype, "init", null);
-TerminalSearchWidget = __decorate([
-    (0, inversify_1.injectable)()
-], TerminalSearchWidget);
-exports.TerminalSearchWidget = TerminalSearchWidget;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 Red Hat, Inc. and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TerminalSearchWidget = exports.TerminalSearchWidgetFactory = exports.TERMINAL_SEARCH_WIDGET_FACTORY_ID = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const react_widget_1 = require("@theia/core/lib/browser/widgets/react-widget");
+const React = require("@theia/core/shared/react");
+require("../../../src/browser/style/terminal-search.css");
+const xterm_1 = require("xterm");
+const xterm_addon_search_1 = require("xterm-addon-search");
+const browser_1 = require("@theia/core/lib/browser");
+exports.TERMINAL_SEARCH_WIDGET_FACTORY_ID = 'terminal-search';
+exports.TerminalSearchWidgetFactory = Symbol('TerminalSearchWidgetFactory');
+let TerminalSearchWidget = class TerminalSearchWidget extends react_widget_1.ReactWidget {
+    constructor() {
+        super(...arguments);
+        this.searchOptions = {};
+        this.onSearchInputFocus = () => {
+            if (this.searchBox) {
+                this.searchBox.classList.add('focused');
+            }
+        };
+        this.onSearchInputBlur = () => {
+            if (this.searchBox) {
+                this.searchBox.classList.remove('focused');
+            }
+        };
+        this.handleHide = () => {
+            this.hide();
+        };
+        this.handleCaseSensitiveOptionClicked = (event) => {
+            this.searchOptions.caseSensitive = !this.searchOptions.caseSensitive;
+            this.updateSearchInputBox(this.searchOptions.caseSensitive, event.currentTarget);
+        };
+        this.handleWholeWordOptionClicked = (event) => {
+            this.searchOptions.wholeWord = !this.searchOptions.wholeWord;
+            this.updateSearchInputBox(this.searchOptions.wholeWord, event.currentTarget);
+        };
+        this.handleRegexOptionClicked = (event) => {
+            this.searchOptions.regex = !this.searchOptions.regex;
+            this.updateSearchInputBox(this.searchOptions.regex, event.currentTarget);
+        };
+        this.onInputChanged = (event) => {
+            // move to previous search result on `Shift + Enter`
+            if (event && event.shiftKey && event.keyCode === browser_1.Key.ENTER.keyCode) {
+                this.search(false, 'previous');
+                return;
+            }
+            // move to next search result on `Enter`
+            if (event && event.keyCode === browser_1.Key.ENTER.keyCode) {
+                this.search(false, 'next');
+                return;
+            }
+            this.search(true, 'next');
+        };
+        this.handleNextButtonClicked = () => {
+            this.search(false, 'next');
+        };
+        this.handlePreviousButtonClicked = () => {
+            this.search(false, 'previous');
+        };
+    }
+    init() {
+        this.node.classList.add('theia-search-terminal-widget-parent');
+        this.searchAddon = new xterm_addon_search_1.SearchAddon();
+        this.terminal.loadAddon(this.searchAddon);
+        this.hide();
+        this.update();
+    }
+    render() {
+        return React.createElement("div", { className: 'theia-search-terminal-widget' },
+            React.createElement("div", { className: 'theia-search-elem-box', ref: searchBox => this.searchBox = searchBox },
+                React.createElement("input", { title: 'Find', type: 'text', spellCheck: 'false', placeholder: 'Find', ref: ip => this.searchInput = ip, onKeyUp: this.onInputChanged, onFocus: this.onSearchInputFocus, onBlur: this.onSearchInputBlur }),
+                React.createElement("div", { title: 'Match case', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('case-sensitive'), onClick: this.handleCaseSensitiveOptionClicked }),
+                React.createElement("div", { title: 'Match whole word', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('whole-word'), onClick: this.handleWholeWordOptionClicked }),
+                React.createElement("div", { title: 'Use regular expression', tabIndex: 0, className: 'search-elem ' + (0, browser_1.codicon)('regex'), onClick: this.handleRegexOptionClicked })),
+            React.createElement("button", { title: 'Previous match', className: 'search-elem ' + (0, browser_1.codicon)('arrow-up'), onClick: this.handlePreviousButtonClicked }),
+            React.createElement("button", { title: 'Next match', className: 'search-elem ' + (0, browser_1.codicon)('arrow-down'), onClick: this.handleNextButtonClicked }),
+            React.createElement("button", { title: 'Close', className: 'search-elem ' + (0, browser_1.codicon)('close'), onClick: this.handleHide }));
+    }
+    updateSearchInputBox(enable, optionElement) {
+        if (enable) {
+            optionElement.classList.add('option-enabled');
+        }
+        else {
+            optionElement.classList.remove('option-enabled');
+        }
+        this.searchInput.focus();
+    }
+    search(incremental, searchDirection) {
+        if (this.searchInput) {
+            this.searchOptions.incremental = incremental;
+            const searchText = this.searchInput.value;
+            if (searchDirection === 'next') {
+                this.searchAddon.findNext(searchText, this.searchOptions);
+            }
+            if (searchDirection === 'previous') {
+                this.searchAddon.findPrevious(searchText, this.searchOptions);
+            }
+        }
+    }
+    onAfterHide() {
+        this.terminal.focus();
+    }
+    onAfterShow() {
+        if (this.searchInput) {
+            this.searchInput.select();
+        }
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(xterm_1.Terminal),
+    __metadata("design:type", xterm_1.Terminal)
+], TerminalSearchWidget.prototype, "terminal", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], TerminalSearchWidget.prototype, "init", null);
+TerminalSearchWidget = __decorate([
+    (0, inversify_1.injectable)()
+], TerminalSearchWidget);
+exports.TerminalSearchWidget = TerminalSearchWidget;
 //# sourceMappingURL=terminal-search-widget.js.map

package/lib/browser/shell-terminal-profile.d.ts

@@ -1,20 +1,20 @@
-import { URI } from '@theia/core';
-import { TerminalService } from './base/terminal-service';
-import { TerminalWidget, TerminalWidgetOptions } from './base/terminal-widget';
-import { TerminalProfile } from './terminal-profile-service';
-export declare class ShellTerminalProfile implements TerminalProfile {
-    protected readonly terminalService: TerminalService;
-    protected readonly options: TerminalWidgetOptions;
-    constructor(terminalService: TerminalService, options: TerminalWidgetOptions);
-    start(): Promise<TerminalWidget>;
-    /**
-     * Makes a copy of this profile modified with the options given
-     * as an argument.
-     * @param options the options to override
-     * @returns a modified copy of this profile
-     */
-    modify(options: {
-        cwd?: string | URI;
-    }): TerminalProfile;
-}
+import { URI } from '@theia/core';
+import { TerminalService } from './base/terminal-service';
+import { TerminalWidget, TerminalWidgetOptions } from './base/terminal-widget';
+import { TerminalProfile } from './terminal-profile-service';
+export declare class ShellTerminalProfile implements TerminalProfile {
+    protected readonly terminalService: TerminalService;
+    protected readonly options: TerminalWidgetOptions;
+    constructor(terminalService: TerminalService, options: TerminalWidgetOptions);
+    start(): Promise<TerminalWidget>;
+    /**
+     * Makes a copy of this profile modified with the options given
+     * as an argument.
+     * @param options the options to override
+     * @returns a modified copy of this profile
+     */
+    modify(options: {
+        cwd?: string | URI;
+    }): TerminalProfile;
+}
 //# sourceMappingURL=shell-terminal-profile.d.ts.map

package/lib/browser/shell-terminal-profile.js

@@ -1,40 +1,40 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2022 STMicroelectronics and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ShellTerminalProfile = void 0;
-class ShellTerminalProfile {
-    constructor(terminalService, options) {
-        this.terminalService = terminalService;
-        this.options = options;
-    }
-    async start() {
-        const widget = await this.terminalService.newTerminal(this.options);
-        widget.start();
-        return widget;
-    }
-    /**
-     * Makes a copy of this profile modified with the options given
-     * as an argument.
-     * @param options the options to override
-     * @returns a modified copy of this profile
-     */
-    modify(options) {
-        return new ShellTerminalProfile(this.terminalService, Object.assign(Object.assign({}, this.options), options));
-    }
-}
-exports.ShellTerminalProfile = ShellTerminalProfile;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2022 STMicroelectronics and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ShellTerminalProfile = void 0;
+class ShellTerminalProfile {
+    constructor(terminalService, options) {
+        this.terminalService = terminalService;
+        this.options = options;
+    }
+    async start() {
+        const widget = await this.terminalService.newTerminal(this.options);
+        widget.start();
+        return widget;
+    }
+    /**
+     * Makes a copy of this profile modified with the options given
+     * as an argument.
+     * @param options the options to override
+     * @returns a modified copy of this profile
+     */
+    modify(options) {
+        return new ShellTerminalProfile(this.terminalService, Object.assign(Object.assign({}, this.options), options));
+    }
+}
+exports.ShellTerminalProfile = ShellTerminalProfile;
 //# sourceMappingURL=shell-terminal-profile.js.map

package/lib/browser/terminal-contribution.d.ts

@@ -1,4 +1,4 @@
-import { TerminalContribution } from './terminal-widget-impl';
-/** @deprecated @since 1.28.0 import from `terminal-widget-impl` instead. */
-export { TerminalContribution };
+import { TerminalContribution } from './terminal-widget-impl';
+/** @deprecated @since 1.28.0 import from `terminal-widget-impl` instead. */
+export { TerminalContribution };
 //# sourceMappingURL=terminal-contribution.d.ts.map

package/lib/browser/terminal-contribution.js

@@ -1,21 +1,21 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.TerminalContribution = void 0;
-const terminal_widget_impl_1 = require("./terminal-widget-impl");
-Object.defineProperty(exports, "TerminalContribution", { enumerable: true, get: function () { return terminal_widget_impl_1.TerminalContribution; } });
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TerminalContribution = void 0;
+const terminal_widget_impl_1 = require("./terminal-widget-impl");
+Object.defineProperty(exports, "TerminalContribution", { enumerable: true, get: function () { return terminal_widget_impl_1.TerminalContribution; } });
 //# sourceMappingURL=terminal-contribution.js.map

package/lib/browser/terminal-copy-on-selection-handler.d.ts

@@ -1,11 +1,11 @@
-export declare class TerminalCopyOnSelectionHandler {
-    private textToCopy;
-    private interceptCopy;
-    private copyListener;
-    protected init(): void;
-    private clipBoardCopyIsGranted;
-    private executeCommandCopy;
-    private writeToClipBoard;
-    copy(text: string): Promise<void>;
-}
+export declare class TerminalCopyOnSelectionHandler {
+    private textToCopy;
+    private interceptCopy;
+    private copyListener;
+    protected init(): void;
+    private clipBoardCopyIsGranted;
+    private executeCommandCopy;
+    private writeToClipBoard;
+    copy(text: string): Promise<void>;
+}
 //# sourceMappingURL=terminal-copy-on-selection-handler.d.ts.map