Ysgrifennodd Darryl Gregorash:
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.

I think it's just the the Windows version has Tools > Options, but the Linux version has Edit > Preferences.


Peter

--
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to