Comment 8 for bug 912679

Revision history for this message
Matthew Paul Thomas (mpt) wrote :

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.