Improved menu for GtkPopover (3.12)