Fixed bad mention counts in the dropdown menu (#2687)

This commit is contained in:
Devin Binnie 2023-04-21 16:57:44 -04:00 committed by GitHub
parent f4f4511cc7
commit 73edb2fe48
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -172,6 +172,7 @@ export class TeamDropdownView {
} }
private reduceNotifications = <T>(inputMap: Map<string, T>, items: Map<string, T>, modifier: (base?: T, value?: T) => T) => { private reduceNotifications = <T>(inputMap: Map<string, T>, items: Map<string, T>, modifier: (base?: T, value?: T) => T) => {
inputMap.clear();
return [...items.keys()].reduce((map, key) => { return [...items.keys()].reduce((map, key) => {
const view = ServerManager.getTab(key); const view = ServerManager.getTab(key);
if (!view) { if (!view) {