☰

GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

Version vom 01.07.2023. Aktuellste Version

Die Hilfeseite des Autors besuchen.

darkred 13.06.2016
Zuletzt: darkred 16.06.2016
Gut (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
Zuletzt: darkred 17.05.2016
Gut 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...

Eine Rezension, einen Kommentar oder eine Frage posten

Wenn Sie denken, dass dieses Skript gegen Greasy Fork's Regeln verstößt, bitte melden Sie es zur Löschung.

Melden Sie sich an, um eine Rezension, einen Kommentar oder eine Frage zu veröffentlichen.