☰

GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

Versión del día 16/2/2020. Echa un vistazo a la versión más reciente.

Respuesta de darkred, 13/6/2016
Último comentario: darkred, 16/6/2016
Bueno (Suggestion) the filter names that won't have any matches to be displayed in light gray I'd like to make a suggestion, please: the filter names that don't have any matches in the current page to...
Respuesta de darkred, 25/4/2016
Último comentario: darkred, 17/5/2016
Bueno The tick next to each enabled filter is not aligned to the filter name, but rather after a newline Thanks a lot, Mottie, for this super useful script! Just one thing I noticed: (using Firefo...

Pregunta tus dudas o ponle nota

Si crees que este script incumple las normas de Greasy Fork, puedes denunciarlo para que otros lo borren.

Inicia sesión para preguntar tus dudas o ponerle nota.