gtkmm: New API in gtkmm 2.20