aspiers/Discord-custom-nicks-userscript
Doesn't immediately replace usernames after switching channels / pages
オープン
#7 opened on 2021/06/28
bughelp wanted
Repository metrics
- Stars
- (3 個のスター)
- PR merge metrics
- (30d に merged PR はありません)
説明
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.