Thanks for giving me a better experience surfing protondb.
Unrelated to this script: I'm new to greasemonkey and installing a script was a two step affair. Because I had greasemonkey installed but disabled in firefox. I enabled greasemonkey, clicked on the install script link. Got a popup that said you need a user "script manager" followed by a link with text "script manager is installed, install script" . Clicking on that link gave an item named nameless script 12345 in the greasemonkey menu that worked on protondb site. That script did nothing.
Second step was making greasemonkey inactive in it's own menu and then active again. After that I saw the normal much bigger pop up that let me install the script with it's proper name. So from now on no more needless scrolling every time when visiting protondb for me.
Thanks for giving me a better experience surfing protondb.
Unrelated to this script:
I'm new to greasemonkey and installing a script was a two step affair. Because I had greasemonkey installed but disabled in firefox.
I enabled greasemonkey, clicked on the install script link.
Got a popup that said you need a user "script manager" followed by a link with text "script manager is installed, install script" .
Clicking on that link gave an item named nameless script 12345 in the greasemonkey menu that worked on protondb site. That script did nothing.
Second step was making greasemonkey inactive in it's own menu and then active again. After that I saw the normal much bigger pop up that let me install the script with it's proper name.
So from now on no more needless scrolling every time when visiting protondb for me.