pull-gtk-20150508-1

Gerd Hoffmann

@kraxel.rh

1271f7f7 · gtk: update mouse position in mouse_set() · May 06, 2015

gtk: add ui_info support, cleanups + fixes.