Changes in 3.1.5

* Fix a crash while docking (Sébastien Granjoux)
* Fix issues with latest GTK+ (Sébastien Granjoux, Dominique Leuenberger)