// set the size of the text window - can do it only now, because we
// couldn't call DoGetBestSize() before as font wasn't set
// set the size of the text window - can do it only now, because we
// couldn't call DoGetBestSize() before as font wasn't set