Remove Online Services Settings option (#14624)

This commit is contained in:
Charles Gagnon
2021-03-09 17:20:07 -08:00
committed by GitHub
parent 973f151e07
commit c33116c625

View File

@@ -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()