Changing the size of the window is not a good idea here: if you're not defining the font and the font size for the window, you have no idea if the original size wasn't already working for him, nor you can tell that the new size you choose will work for him
