Actually, I guess that should be "(gtk_menu_proxy_get() == NULL)", since you want to add the item only if the global menu bar is *not* in use.
Actually, I guess that should be "(gtk_menu_ proxy_get( ) == NULL)", since you want to add the item only if the global menu bar is *not* in use.