chiark / gitweb /
GTK 3 port: condition out the complicated window resize code.