diff --git a/src/vs/workbench/contrib/preferences/browser/preferences.contribution.ts b/src/vs/workbench/contrib/preferences/browser/preferences.contribution.ts index 0187dc631e..3b0152d8d1 100644 --- a/src/vs/workbench/contrib/preferences/browser/preferences.contribution.ts +++ b/src/vs/workbench/contrib/preferences/browser/preferences.contribution.ts @@ -460,6 +460,7 @@ class PreferencesActionsContribution extends Disposable implements IWorkbenchCon } } }); + /** {{SQL CARBON EDIT}} Remove unused options (we don't have online services) MenuRegistry.appendMenuItem(MenuId.MenubarPreferencesMenu, { group: '1_settings', command: { @@ -476,7 +477,7 @@ class PreferencesActionsContribution extends Disposable implements IWorkbenchCon }, order: 2 }); - + **/ this.registerSettingsEditorActions(); this.extensionService.whenInstalledExtensionsRegistered()