mirror of
https://github.com/microsoft/vscode.git
synced 2026-06-06 15:45:54 +01:00
a727329516
* Implement badge API for webviews and treeviews * Address PR feedback * Set badge priority Part of #62783