chiark / gitweb /
Removed obsoleted code to work around a bug in gdk, at least version