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