オプション+ウィンドウ閉じる をした時、
ドックに入れたウィンドウも閉じてしまうとは何事か。