Since r7266, it's been possible to get a hostname into Default Settings; but
[sgt/putty] / unix / gtkfont.h
2008-06-04 simonBah, there's always something. Check in missing files.