Archived
1
0

chore: refresh disable-builtin-ext-update.diff

This commit is contained in:
Joe Previte 2022-11-03 14:45:31 -07:00
parent f58d91e7f6
commit 9ee00a61fd
No known key found for this signature in database
GPG Key ID: 2C91590C6B742C24

View File

@ -18,7 +18,7 @@ Index: code-server/lib/vscode/src/vs/workbench/contrib/extensions/browser/extens
if (!this.local.preRelease && this.gallery.properties.isPreReleaseVersion) {
return false;
}
@@ -1234,6 +1238,10 @@ export class ExtensionsWorkbenchService
@@ -1237,6 +1241,10 @@ export class ExtensionsWorkbenchService
// Skip if check updates only for builtin extensions and current extension is not builtin.
continue;
}