☰
☰

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...