☰

GitHub Files Filter

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

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

Respuesta de emukus, 6/10/2022
Último comentario: emukus, 7/7/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/7/2020
Último comentario: MottieAutor, 11/7/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.