Yes, <https://wiki.ubuntu.com/MenuBar#detecting> describes how to detect
whether the global menu bar is in use. So I guess the fix will look
something like this:
if (gtk_menu_proxy_get() != NULL) {
# existing code that adds the "Menu Bar" item
# to the "View" menu goes here
}
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/912679
Title:
"View" menu has useless "Menu Bar" item
To manage notifications about this bug go to:
https://bugs.launchpad.net/dbusmenu/+bug/912679/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
