chiark / gitweb /
Fix changing puzzle size in a maximised GTK3 window.