chiark / gitweb /
GTK 3 port: change API functions for widget sizing.