3.7.12 (unstable): Gtk: * Modify the deletion of widgets. (Kjell Ahlstedt) Bug #605728 (Murray Cumming) and Bug #315874 (Philip Langdale) Build: * Fix the build with the lastest GTK+ from git master, to cope with the slightly-changed GTK+ API caused by this commit: https://git.gnome.org/browse/gtk+/commit/?id=88623b98a7ca0afca08ac21bc3aa662c6ed3ab7f Bug #695305 (Cosimo Cecchi, mussadek) * Preserve our generated API/ABI after GTK+ API-compatible changes. (Kjell Ahlstedt) Documentation: * Update generated documentation. (Kjell Ahlstedt)