'Options' show under the 'Tools' drop-down on mine. Are you using the current version 1.0.7?
Yes, just downloaded it a month or so ago. I'll do some looking around in the config and see if there's anything in there for Fonts.
are the only menu items under Tools.
- Web Search,
- DOM Inspector, and
- Page Info
The only extension I chose to download is BBCode. Which, BTW, seems to lose its Settings and Custom Tags on the rare occasion of a crash.
posted on 11/02/2005 1:16:15 PM PST
(The idea around which liberalism coheres is that NOTHING actually matters but PR.)
I'm seeing everything you are seeing on the Tools Drop-down list EXCEPT I have options at the bottom. You may want to try a un/reinstall and see if it shows up for you by default. I also checked the about:config and there are multiple entries in there for Font Sizes. If you can find which Font you are using you may be able to choose which font size you want for that type.
posted on 11/02/2005 3:14:34 PM PST
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson