chiark / gitweb /
Fix switching to a larger puzzle size under GTK 2.