After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 101231 - Tools menu should not be show if it is empty
Tools menu should not be show if it is empty
Status: RESOLVED DUPLICATE of bug 95733
Product: gedit
Classification: Applications
Component: general
git master
Other other
: Normal normal
: ---
Assigned To: Gedit maintainers
gedit QA volunteers
Depends on:
Blocks:
 
 
Reported: 2002-12-14 22:38 UTC by Chema Celorio
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.1/2.2


Description Chema Celorio 2002-12-14 22:38:11 UTC 
The "Tools" toplevel menu should not be shown if there aren't any plugins
loaded. Same goes for the toolbar. It looks kinda weird having a menu
without any items in there.
Comment 1 Andrew Sobala 2002-12-14 23:33:13 UTC 

*** This bug has been marked as a duplicate of 95733 ***