User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:21.0) Gecko/20100101 Firefox/21.0 (Beta/Release) Build ID: 20130511120803 Steps to reproduce: Request for Enhancement: In Windows, Options is found in "Tools", "Options" In Linux, Options is called "Preferences" and is found in "Edit", "Preferences". It would be cool if you made Linux and Windows the same at some point. It would cut down on a lot of confusion for those of us that work in both Linux and Windows. May thanks, -T
The reasons for introducing this are in bug 264061, and this request is the same as bug 245862 hence closing as duplicate.