Too many extensions makes the Tools menu unhappy. :) It would be nice to be able to turn off GM's Tools menu item. Options are still available via the status bar icon (and via Tools->Add-Ons in the worst case), so the Tools item is redundant in many setups.
-- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/greasemonkey-users?hl=en.
