☰

GitHub Red Issues optional supplement

An optional supplement to the "GitHub Red Issues" script/style.

Versione datata 26/06/2023. Vedi la nuova versione l'ultima versione.

Autore
krystian3w
Valutazione
0 0 0
Versione
7.0.0
Creato il
26/06/2023
Aggiornato il
26/06/2023
Dimensione
1,89 KB
Licenza
CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/
Applica a

This style overwrites the task icons for issue/PR reports.

I don't find the red circle for open or rejected applications helpful.

The userCSS/userJS may be losing the battle against the native add-on in MV3 (or MV2 as someone makes a fork while maintaining the author's license) - as long as Stylus and Tampermokey/Violentmonkey/Greasemonkey inject a different CSS method into the page.

The released style may have similar problems with CSS4 and acting as a userScript like base.

长期地址
遇到问题？请前往 GitHub 提 Issues。