ツール→オプションのウィンドウのサイズが変更できるようになった。