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 }
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
}