I just came across a widget in GTK that I didn't know about. It looks
Might be useful to reduce menu size to put some menu items in one of
these... such as the Boolean Ops. These can contain icons (where normal
GTK 3 menus can not).