Rewrite gprefs() in settings.c so that its input mapping includes
[sgt/putty] / unix / gtkfont.h
2008-06-04 simonBah, there's always something. Check in missing files.