pull-gtk-20140611-1

Gerd Hoffmann

@kraxel.rh

fa7a1e52 · gtk: update window size after showing/hiding tabs · Jun 11, 2014

gtk: misc fixes & cleanups.