ボタンの割り当てで、「ウィンドウを最大化」を使っている。
以前のOptionsでは、一度押すと、最大化、もう一度押すと、それが解除となっていた。
しかし、Options+になってからは、一度押すと、最大化となるが、もう一度押しても、そらが解除されない。