eclipse-theia/theia
View on GitHubdeploying a newer version of extension should reload already installed extension
Open
#6,777 opened on Dec 20, 2019
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