どうやらバグぽい

あ、え〜と、ページ切り替えはともかく、F42回でパネルがフルサイズから通常サイズに戻らないというのが何故だろうと。
これもPre1に上書きしたことによる違いなのだろうか、とか思ってたのですが、今ちょっと試してみてどうやらパネルセレクタの表示状態によるものだとわかりました。

フルサイズパネルを表示した状態で…

パネルセレクタを表示していると、
F4を押す⇒パネル非表示⇒F4を押す⇒パネル通常表示

パネルセレクタを非表示にしていると、
F4を押す⇒パネル非表示⇒F4を押す⇒パネルフルサイズ表示

…という動作の違いがあるようです。
仕様と言われればそうも思えるような気もしますが、パネルセレクタを表示している場合の操作感があまりに気持ちイイので、恐らくこっちが想定された挙動と思います。てこたバグかな、と。