We have these round buttons in GtkPopoverMenu. I don't think they're used anywhere.
GtkPopoverMenu
@jimmac