☰

GitHub Red Issues optional supplement

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

Versión del día 26/06/2023. Echa un vistazo a la versión más reciente.

Autor
krystian3w
Calificaciones
0 0 0
Versión
7.0.0
Creado
26/06/2023
Actualizado
26/06/2023
Tamaño
1.54 KB
Licencia
CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/
Funciona en

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.