☰

GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

Versione datata 01/07/2023. Vedi la nuova versione l'ultima versione.

Visita il sito dell'autore

darkred 13/06/2016
Ultimo: darkred 16/06/2016
Bene (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...
darkred 25/04/2016
Ultimo: darkred 17/05/2016
Bene 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...

Pubblica una recensione, un commento o una domanda

Se pensi che questo script stia violando le regole diGreasy Fork, per favore segnalalo per la rimozione.

Accedi per pubblicare una recensione, commentare o fare domande.