2.5.1: Updated for latest gtkmm 2.4 API.