Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Commit

Permalink
fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
Igor Vinokur authored and Igor Vinokur committed Jun 11, 2021
1 parent 6a39c59 commit da3183b
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -23,12 +23,12 @@ import { inject, injectable, postConstruct } from 'inversify';
import { ChePluginFrontentService } from './che-plugin-frontend-service';
import { ChePluginPreferences } from './che-plugin-preferences';
import { ChePluginServiceClientImpl } from './che-plugin-service-client';
import { DevfileService } from '@eclipse-che/theia-remote-api/lib/common/devfile-service';
import { EnvVariablesServer } from '@theia/core/lib/common/env-variables';
import { PluginFilter } from '../../common/plugin/plugin-filter';
import { PluginServer } from '@theia/plugin-ext/lib/common/plugin-protocol';
import URI from '@theia/core/lib/common/uri';
import { WorkspaceService } from '@eclipse-che/theia-remote-api/lib/common/workspace-service';
import { DevfileService } from '@eclipse-che/theia-remote-api/lib/common/devfile-service';

import debounce = require('lodash.debounce');

Expand Down Expand Up @@ -470,9 +470,7 @@ export class ChePluginManager {
// remove the plugin from workspace configuration
const key = `${metadata.publisher}/${metadata.name}/${metadata.version}`;
await this.chePluginService.removePlugin(key);
this.messageService.info(
`Plugin '${key}' has been successfully removed`
);
this.messageService.info(`Plugin '${key}' has been successfully removed`);

// remove the plugin from the list of workspace plugins
this.installedPlugins = this.installedPlugins.filter(p => p !== metadata.key);
Expand Down

0 comments on commit da3183b

Please sign in to comment.