minimaxir opened this issue 5 years ago · 0 comments
For when the web UI is open in another tab.
Can apparently set with jQuery so not too hard.
The hard part is deciding the generation/nongeneration favicon.