pre-defined dashboard tab groups (#9916)

* pre-defined dashboard tab groups

* add back the tab group contribution

* comments
This commit is contained in:
Alan Ren
2020-04-09 14:57:46 -07:00
committed by GitHub
parent 06abda74a6
commit 433049d1b2
3 changed files with 31 additions and 1 deletions

View File

@@ -17,6 +17,7 @@ import { GRID_CONTAINER, validateGridContainerContribution } from 'sql/workbench
import { values } from 'vs/base/common/collections';
import { IUserFriendlyIcon } from 'sql/workbench/contrib/dashboard/browser/core/dashboardWidget';
import { isValidIcon, createCSSRuleForIcon } from 'sql/workbench/contrib/dashboard/browser/dashboardIconUtil';
import { IDashboardTabGroup } from 'sql/workbench/services/dashboard/browser/common/interfaces';
export interface IDashboardTabContrib {
id: string;
@@ -237,3 +238,30 @@ ExtensionsRegistry.registerExtensionPoint<IDashboardTabContrib | IDashboardTabCo
}
}
});
/**
* Predefined tab groups
*/
const PredefinedTabGroups: IDashboardTabGroup[] = [
{
id: 'administration',
title: localize('administrationTabGroup', "Administration")
}, {
id: 'monitoring',
title: localize('monitoringTabGroup', "Monitoring")
}, {
id: 'performance',
title: localize('performanceTabGroup', "Performance")
}, {
id: 'security',
title: localize('securityTabGroup', "Security")
}, {
id: 'troubleshooting',
title: localize('troubleshootingTabGroup', "Troubleshooting")
}, {
id: 'settings',
title: localize('settingsTabGroup', "Settings")
}
];
PredefinedTabGroups.forEach(tabGroup => registerTabGroup(tabGroup));