This commit is contained in:
João Moreno 2020-11-02 12:09:02 +01:00
parent 7cce3438d1
commit 98262ef050

View file

@ -586,6 +586,10 @@ submenusExtensionPoint.setHandler(extensions => {
collector.warn(localize('submenuId.invalid.id', "`{0}` is not a valid submenu identifier", entry.value.id));
return;
}
if (_submenus.has(entry.value.id)) {
collector.warn(localize('submenuId.duplicate.id', "The `{0}` submenu was already previously registered.", entry.value.id));
return;
}
if (!entry.value.label) {
collector.warn(localize('submenuId.invalid.label', "`{0}` is not a valid submenu label", entry.value.label));
return;