☰
☰

Conversaciones

HTML5 Video Player Enhance
Respuesta de phil294, 22/08/2023
Bueno Fantastic tool! Thanks for doing this. Contrary to the original, this one seems to work. Few small problems: For compatibility with Greasemonkey on Firefox, I had to remove the GM_getValue call, t...
AutoTOC
Respuesta de phil294, 02/01/2022
Último comentario: IzzySoftAutor, 26/01/2022
Bueno Works great! Thanks for maintaining this relic!
Hacker News Contextual Comments (sticky tree)
Respuesta de decembre, 18/12/2021
Último comentario: decembre, 20/12/2021
Bueno Yes! Very good idea, Work very well. Maybe, for a better visibility, you can add a special background to the sticky element?