The "Tools > Options..." menu item should be "Edit > Preferences" under GNU/Linux platforms, such as every other Mozilla products.
Log in to post a comment.