Skip to content

Commit

Permalink
don't warn, just inform, about missing/unknown/malformed menu identif…
Browse files Browse the repository at this point in the history
…ier, #140463
  • Loading branch information
jrieken committed Feb 8, 2022
1 parent 17ed7bf commit 5c85bdc
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -745,7 +745,7 @@ menusExtensionPoint.setHandler(extensions => {
}

if (!menu) {
collector.warn(localize('menuId.invalid', "`{0}` is not a valid menu identifier", entry.key));
collector.info(localize('menuId.invalid', "`{0}` is not a valid menu identifier", entry.key));
return;
}

Expand Down

0 comments on commit 5c85bdc

Please sign in to comment.