☰

GitHub Files Filter

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

Versión del día 17/02/2019. Echa un vistazo a la versión más reciente.

Respuesta de emukus, 06/10/2022
Último comentario: emukus, 07/07/2024
Malo 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.
Respuesta de TheWAVs, 11/07/2020
Último comentario: MottieAutor, 11/07/2020
Bueno Please, update this script. It doesn't work anymore since the last forced github redesign. Edited: It works again already, thank you! (:

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.