The patch lies at https://bugzilla.gnome.org/show_bug.cgi?id=613241 and has been committed in http://git.gnome.org/browse/gtk+/commit/?id=5f29a679f8a31b6548f34179d65a39de9ec63535 Cheers, -- Yves-Alexis