Fix an embarrassing mistake in config box handling which was causing
[sgt/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...