gtkmm: New API in gtkmm 3.2