eclipse-theia/theia

deploying a newer version of extension should reload already installed extension

Open

#6,777 opened on Dec 20, 2019

View on GitHub
 (0 comments) (1 reaction) (0 assignees)TypeScript (2,478 forks)batch import
bughelp wantedplug-in systemvscode

Repository metrics

Stars
 (18,676 stars)
PR merge metrics
 (Avg merge 15d 4h) (75 merged PRs in 30d)

Description

Steps to reproduce:

  • deploy vscode-java 0.47 from plugins
  • then use deploy command to install the latest version
  • vscode-java should be redeployed and reactivated

Contributor guide