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.