☰
☰

Discussions

python-search-no-highlight
Leonardo Gama 17/09/2021
Last: Eric ToombsAuthor 21/09/2021
Good Good script! But does it need to match every page under docs.python.org? It creates error logs everywhere outside the search page... I restricted it to docs.python.org/*/search.html and it seems to...
Wikipedia Extender
Leonardo Gama 12/09/2020
OK Great script! Works really well. But, on my setup, the floating table header doesn't match the table width and then the headers get completely misaligned. If I disable a single CSS padding rule tho...
Outlook Extend Panel
Leonardo Gama 20/02/2018
Last: 7-elephantAuthor 21/02/2018
Instalation on Greasemonkey failed The installation failed because of a broken favicon link...