Preferences in Tools Menu
Adds the Preferences item back to the Tools Menu.
I don't use the Edit menu often, apart from the Preferences item, so I removed it (in userChrome.css). With this extension you can save space for bookmarks and what not and still have access to the Preferences. This does not apply to the Windows versions of Firefox.
This page is part of the LegacyCollector website.
Disclaimer: All material on this site is property of their respective owners and available under
open licenses to the best of our knowledge. If you are an author and would like anything removed,
then please write an e-mail to legacy [at] collector dot org.