@theia/terminal 1.53.0-next.55 → 1.53.0-next.64

package/README.md

@@ -1,30 +1,30 @@
-<div align='center'>
-
-<br />
-
-<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
-
-<h2>ECLIPSE THEIA - TERMINAL EXTENSION</h2>
-
-<hr />
-
-</div>
-
-## Description
-
-The `@theia/terminal` extension contributes the ability to spawn integrated terminals in the application which can be used in a variety of different scenarios.
-
-## Additional Information
-
-- [API documentation for `@theia/terminal`](https://eclipse-theia.github.io/theia/docs/next/modules/terminal.html)
-- [Theia - GitHub](https://github.com/eclipse-theia/theia)
-- [Theia - Website](https://theia-ide.org/)
-
-## License
-
-- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
-- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
-
-## Trademark
-"Theia" is a trademark of the Eclipse Foundation
-https://www.eclipse.org/theia
+<div align='center'>
+
+<br />
+
+<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
+
+<h2>ECLIPSE THEIA - TERMINAL EXTENSION</h2>
+
+<hr />
+
+</div>
+
+## Description
+
+The `@theia/terminal` extension contributes the ability to spawn integrated terminals in the application which can be used in a variety of different scenarios.
+
+## Additional Information
+
+- [API documentation for `@theia/terminal`](https://eclipse-theia.github.io/theia/docs/next/modules/terminal.html)
+- [Theia - GitHub](https://github.com/eclipse-theia/theia)
+- [Theia - Website](https://theia-ide.org/)
+
+## License
+
+- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
+- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
+
+## Trademark
+"Theia" is a trademark of the Eclipse Foundation
+https://www.eclipse.org/theia

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

@@ -269,10 +269,10 @@ let TerminalWidgetImpl = TerminalWidgetImpl_1 = class TerminalWidgetImpl extends
                     this.styleElement = browser_1.DecorationStyle.createStyleElement(`${this.terminalId}-terminal-style`);
                     const classId = 'terminal-icon-' + (0, core_1.generateUuid)().replace(/-/g, '');
                     const color = this.colorRegistry.getCurrentColor(iconClass.color.id);
-                    this.styleElement.textContent = `
-                        .${classId}::before {
-                            color: ${color};
-                        }
+                    this.styleElement.textContent = `
+                        .${classId}::before {
+                            color: ${color};
+                        }
                     `;
                     iconClasses.push(classId);
                 }

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@theia/terminal",
-  "version": "1.53.0-next.55+d1a989a68c",
+  "version": "1.53.0-next.64+23b351d26",
   "description": "Theia - Terminal Extension",
   "dependencies": {
-    "@theia/core": "1.53.0-next.55+d1a989a68c",
-    "@theia/editor": "1.53.0-next.55+d1a989a68c",
-    "@theia/file-search": "1.53.0-next.55+d1a989a68c",
-    "@theia/filesystem": "1.53.0-next.55+d1a989a68c",
-    "@theia/process": "1.53.0-next.55+d1a989a68c",
-    "@theia/variable-resolver": "1.53.0-next.55+d1a989a68c",
-    "@theia/workspace": "1.53.0-next.55+d1a989a68c",
+    "@theia/core": "1.53.0-next.64+23b351d26",
+    "@theia/editor": "1.53.0-next.64+23b351d26",
+    "@theia/file-search": "1.53.0-next.64+23b351d26",
+    "@theia/filesystem": "1.53.0-next.64+23b351d26",
+    "@theia/process": "1.53.0-next.64+23b351d26",
+    "@theia/variable-resolver": "1.53.0-next.64+23b351d26",
+    "@theia/workspace": "1.53.0-next.64+23b351d26",
     "tslib": "^2.6.2",
     "xterm": "^5.3.0",
     "xterm-addon-fit": "^0.8.0",
@@ -55,5 +55,5 @@
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "d1a989a68c1b5ec1f9098e9126653c6346844769"
+  "gitHead": "23b351d26346a2b5d6aca3ee81fba59c056132f7"
 }

package/src/browser/base/terminal-service.ts

@@ -1,60 +1,60 @@
-// *****************************************************************************
-// Copyright (C) 2018 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-only WITH Classpath-exception-2.0
-// *****************************************************************************
-import { Event } from '@theia/core/lib/common/event';
-import { WidgetOpenerOptions } from '@theia/core/lib/browser';
-import { TerminalWidgetOptions, TerminalWidget } from './terminal-widget';
-
-/**
- * Service manipulating terminal widgets.
- */
-export const TerminalService = Symbol('TerminalService');
-export interface TerminalService {
-
-    /**
-     * Create new terminal with predefined options.
-     * @param options - terminal options.
-     */
-    newTerminal(options: TerminalWidgetOptions): Promise<TerminalWidget>;
-
-    open(terminal: TerminalWidget, options?: WidgetOpenerOptions): void;
-
-    readonly all: TerminalWidget[];
-
-    /**
-     * @param id - the widget id (NOT the terminal id!)
-     * @return the widget
-     */
-    getById(id: string): TerminalWidget | undefined;
-
-    /**
-     * @param id - the terminal id (NOT the terminal widget id!)
-     * @return the widget
-     */
-    getByTerminalId(terminalId: number): TerminalWidget | undefined;
-
-    /**
-     * Returns detected default shell.
-     */
-    getDefaultShell(): Promise<string>;
-
-    readonly onDidCreateTerminal: Event<TerminalWidget>;
-
-    readonly currentTerminal: TerminalWidget | undefined;
-
-    readonly onDidChangeCurrentTerminal: Event<TerminalWidget | undefined>;
-
-    readonly lastUsedTerminal: TerminalWidget | undefined;
-}
+// *****************************************************************************
+// Copyright (C) 2018 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-only WITH Classpath-exception-2.0
+// *****************************************************************************
+import { Event } from '@theia/core/lib/common/event';
+import { WidgetOpenerOptions } from '@theia/core/lib/browser';
+import { TerminalWidgetOptions, TerminalWidget } from './terminal-widget';
+
+/**
+ * Service manipulating terminal widgets.
+ */
+export const TerminalService = Symbol('TerminalService');
+export interface TerminalService {
+
+    /**
+     * Create new terminal with predefined options.
+     * @param options - terminal options.
+     */
+    newTerminal(options: TerminalWidgetOptions): Promise<TerminalWidget>;
+
+    open(terminal: TerminalWidget, options?: WidgetOpenerOptions): void;
+
+    readonly all: TerminalWidget[];
+
+    /**
+     * @param id - the widget id (NOT the terminal id!)
+     * @return the widget
+     */
+    getById(id: string): TerminalWidget | undefined;
+
+    /**
+     * @param id - the terminal id (NOT the terminal widget id!)
+     * @return the widget
+     */
+    getByTerminalId(terminalId: number): TerminalWidget | undefined;
+
+    /**
+     * Returns detected default shell.
+     */
+    getDefaultShell(): Promise<string>;
+
+    readonly onDidCreateTerminal: Event<TerminalWidget>;
+
+    readonly currentTerminal: TerminalWidget | undefined;
+
+    readonly onDidChangeCurrentTerminal: Event<TerminalWidget | undefined>;
+
+    readonly lastUsedTerminal: TerminalWidget | undefined;
+}