![](https://secure.gravatar.com/avatar/84524eb6e916f5d548e7c7c0e41fd127.jpg?s=120&d=mm&r=g)
8 May
2016
8 May
'16
6:44 p.m.
Hi,
I just came across a widget in GTK that I didn't know about. It looks interesting:
https://blogs.gnome.org/mclasen/2014/01/22/and-now-popovers/
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).
Tav