☰

Diskussionen

HTML5 Video Player Enhance
phil294 22.08.2023
Gut 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
phil294 02.01.2022
Zuletzt: IzzySoftVerfasser 26.01.2022
Gut Works great! Thanks for maintaining this relic!
Hacker News Contextual Comments (sticky tree)
decembre 18.12.2021
Zuletzt: decembre 20.12.2021
Gut Yes! Very good idea, Work very well. Maybe, for a better visibility, you can add a special background to the sticky element?