Patch from Frode Austvik to tinker with the GTK interface if