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 742064 - menus: don't duplicate menu items
menus: don't duplicate menu items
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2014-12-28 16:21 UTC by Michael Catanzaro
Modified: 2014-12-29 00:03 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
menus: don't duplicate menu items (1.40 KB, patch)
2014-12-28 16:21 UTC, Michael Catanzaro 		committed Details | Review

Description Michael Catanzaro 2014-12-28 16:21:16 UTC 
If it's in the app menu, it shouldn't also appear in a window menu.
Comment 1 Michael Catanzaro 2014-12-28 16:21:17 UTC 
Created attachment 293404 [details] [review]
menus: don't duplicate menu items

Items in the app menu should not additionally be available through the
window menu.
Comment 2 Christian Hergert 2014-12-28 20:04:21 UTC 
Review of attachment 293404 [details] [review]:

LGTM
Comment 3 Michael Catanzaro 2014-12-29 00:03:46 UTC 
Attachment 293404 [details] pushed as cb1eaa6 - menus: don't duplicate menu items