Hey, I've build a big round of GNOME 3.3.91 updates, which include the gtk 3.3.18. This one is a bit more interesting than your average gtk release, since it includes touch and smooth scrolling support. If you experience breakage wrt to scrolling or more general input handling, I'd be interested to hear about that. Thanks, Matthias