Merge pull request #485 from microsoft/dev/mjbvz/fix-command-id

Fix the command id for opening setting
microsoft · Oct 10, 2022 · 129500e · 129500e
2 parents 624618f + ef189bb
commit 129500e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts b/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts
@@ -699,7 +699,7 @@ var requirejs = (function() {
 							}
 							case 'github-issues.authNow':
 							case 'workbench.extensions.search':
-							case 'workbench.extensions.openSettings': {
+							case 'workbench.action.openSettings': {
 								this.openerService.open(data.href, { fromUserGesture: true, allowCommands: true, fromWorkspace: true });
 								return;
 							}