#505 Options should be Preferences under GNU/Linux

0.9
open
nobody
5
2009-10-11
2009-10-11
Cédric Corazza
No

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

Discussion

    • milestone: --> 0.9