☰

GitHub Files Filter

A userscript that adds filters that toggle the view of repo files by extension

Versione datata 18/02/2019. Vedi la nuova versione l'ultima versione.

emukus 06/10/2022
Ultimo: emukus 07/07/2024
Male Does not work. I often have to reload pages several times for the filter buttons to show up. Even when they do show up, they don't do anything when clicked.
TheWAVs 11/07/2020
Ultimo: MottieAutore 11/07/2020
Bene Please, update this script. It doesn't work anymore since the last forced github redesign. Edited: It works again already, thank you! (:

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.