Adress PR comments

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>

Author: tsmaeder

packages/plugin-ext/src/common/plugin-protocol.ts

@@ -98,12 +98,14 @@ export interface PluginPackageContribution {
     terminal?: PluginPackageTerminal;
 }
 
+export interface PluginPackageTerminalProfile {
+    title: string,
+    id: string,
+    icon?: string
+}
+
 export interface PluginPackageTerminal {
-    profiles: {
-        title: string,
-        id: string,
-        icon?: string
-    }[]
+    profiles: PluginPackageTerminalProfile[]
 }
 
 export interface PluginPackageLocalization {

packages/terminal/src/browser/shell-terminal-profile.ts

@@ -1,5 +1,5 @@
 // *****************************************************************************
-// Copyright (C) 2022 ST Microelectronics and others.
+// 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

packages/terminal/src/browser/terminal-profile-service.ts

@@ -1,5 +1,5 @@
 // *****************************************************************************
-// Copyright (C) 2022 ST Microelectronics and others.
+// 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
@@ -14,9 +14,8 @@
 // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
 // *****************************************************************************
 
-import { Event } from '@theia/core';
+import { Emitter, Event } from '@theia/core';
 import { injectable } from '@theia/core/shared/inversify';
-import { Emitter } from '@theia/core/shared/vscode-languageserver-protocol';
 import { TerminalWidget } from './base/terminal-widget';
 
 export const TerminalProfileService = Symbol('TerminalProfileService');