调整窗口大小的小工具。