Implement refreshing the whole dialogue box with dlg_refresh, so that
[u/mdw/putty] / notiming.c
2004-11-28 simonOops; forgot to add this file in r4913.