Comment 7 for bug 912679

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
}