gtkmm: New API in gtkmm 3.8