aspiers/Discord-custom-nicks-userscript
Doesn't immediately replace usernames after switching channels / pages
Aberta
#7 aberto em 28 de jun. de 2021
bughelp wanted
Métricas do repositório
- Stars
- (3 estrelas)
- Métricas de merge de PR
- (Nenhuma PRs mesclada em 30d)
Description
This is a pretty bad bug; apparently waitForKeyElements doesn't always trigger when switching channels or pages. I'm not sure what the best way to fix this is, short of just setting a timer to call replaceAll() every few seconds or something. Suggestions welcome.
Workaround
Open up the mappings dialog and hit the Save button.