Huh. I wonder why they thought this was such a big deal. I mean... the user caused the problem, and could easily fix it by enlarging the window. Other windowing GUIs handle this just fine.