Closing - no confirmation on whether or not newer the update of the GTK+ stack in the devlibs solved the issue (as it did for bug #845354).
Closing - no confirmation on whether or not newer the update of the GTK+ stack in the devlibs solved the issue (as it did for bug #845354).