Quote:
Originally Posted by grannyGrumpy
I guess us folks who use Opera (or worse, are stuck with Internet Explorer) just have to go whistle.
|
According to this
website, you can also use user scripts with Opera. Try pasting my JavaScript code into a text file, save it with a .user.js extension and then follow the instructions in the article.
BTW, there's user script repository at
Userscripts.org with lots of useful ready-made scripts. I find
Scrub Google Redirect Links very useful, which allows you to directly copy file links from Google search results.
I also use a user script to change the font color of a website from a hip but hard to read light grey to a plain old black. There are endless possibilities for
website customization for users with basic CSS and JavaScript skills.