I've overhauled the interface of the extension version. Should be a lot easier to work with now.
Font replacement script
Instructions for adding your own combinations to the font replacement 'table' can be found inside the script.
If you know of any fonts that consistently render badly in Opera, let me know so i can add them to the default set.
My first userscript, so please be kind ;-)
Extension
You can also download this script as an extension now, easier to install. To do this, simply download the .oex file below and confirm that you want to install it.
Changelog
- you can now type the names of the font in any case you like (see Anonymous' and Frenzie's suggestions in the comments)
- some niggles ironed out.
Extension version has been updated. it is now, finally, possible to add fonts on the extension preferences page. Since it's stil fairly rough around the edges i will not be uploading it to Opera's extension site yet.
- 1 of 2
- ››



Comments
Thanks
Very usefull sometimes ;)
Instead of document.all you
Instead of document.all you should use document.getElementsByTagName('*'), see http://simonwillison.net/2003/Aug/11/documentAll/
That said, when I saw the title of this script I thought you made something using the new BeforeCSS and AfterCSS events.
Intelligent alien life does exist, otherwise they would have contacted us.
Instead of document.all you
Good point, now changed.
Um
Please compile into a proper extension and put on this site: https://addons.opera.com/addons/extensions/
This addon is useless to me unless I can access preferences/options to choose which fonts get modified. I know you've stated this already but if you could include that functionality in a future update this could become a popular addon.
Unfortunately i do not, right
Unfortunately i do not, right now, have the time to make updates to script or extension.
Exactly What I Needed!
Not sure why this isn't simply a part of Opera's options.
Lower case
Great script. Here's a suggestion: in your comparisons, you should use something like fontFamily.toLowerCase().
That way, the user won't have to enter a million redundant entries such as "Verdana", "verdana", "Arial", "arial", etc.
Of course, this requires the user to use all-lowercase in the list entries.
Good suggestion. However, as
Good suggestion. However, as long as you also use toLowerCase() on what the user entered, there's certainly no need for the user to do any such thing. ;)
Intelligent alien life does exist, otherwise they would have contacted us.
Both good ideas, i'll add
Both good ideas, i'll add that in when i have some spare time.
Post new comment