バージョンアップしたら最小化ボタンでミニプレイヤーに変わらなくなったので不快に思っていたのだけれど、
[窓の杜の記事]
”ウィンドウの縮小表示の方法がこれまでの[最大化/最小化]ボタンで行う方法から、[詳細設定]−[ミニプレーヤー切り替え]メニューへと変更されたほか、さまざまな点でパフォーマンスが向上しているとのこと。”
あまりメリットがあるのかよくわからないヴァージョンアップがきました。ミニプレーヤーには最小化ボタンでできたほうがうれしかったんだけどなぁ。
ということでCtr + Mでプレイヤーの大きさが変わるみたい。