Ysgrifennodd Darryl Gregorash:
I think it's just the the Windows version has Tools > Options, but the Linux version has Edit > Preferences.If that tools menu route really is just in the Windows version, then I am very disappointed -- it would leave a prefs.js edit as the *only* way to access a great number of user preferences.
Peter -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
