aspiers/Discord-custom-nicks-userscript
Doesn't immediately replace usernames after switching channels / pages
開放
#7 建立於 2021年6月28日
bughelp wanted
倉庫指標
- 星標
- (3 顆星)
- PR 合併指標
- (30 天內沒有已合併 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.