GNOME Bugzilla – Bug 129474
tools menu empty or nonexistant
Last modified: 2004-12-22 21:47:04 UTC
on the gui there is a menu for tools yet there are no tools in the menu. No dropdown occurs when tools is selected.
You have to activate plugins using the preferences dialog to populate the tools menu. *** This bug has been marked as a duplicate of 95733 ***