web - fix broken static extensions

This commit is contained in:
Benjamin Pasero
2019-09-19 11:53:24 +02:00
parent 6ba021ba32
commit 5de60c1be4

View File

@@ -209,4 +209,10 @@ if (options.workspaceUri) {
options.workspaceUri = URI.revive(options.workspaceUri);
}
if (Array.isArray(options.staticExtensions)) {
options.staticExtensions.forEach(extension => {
extension.extensionLocation = URI.revive(extension.extensionLocation);
});
}
create(document.body, options);