ところで、設定-【タブ】の項目で各タブのグループボックス内でタブとボタンとフラットをラジオボタンで選択できるが、処理としてどれが一番軽いのかね。この機能OPENJANEDUEから搭載されている機能だからその時代にまで戻ってスレ見ないと分からないのかもしれないけれど、毎日のように専ブラスレ見ている人なら即答できるだろうと思ってさ。というより最終的にこの機能もいらないな。板一覧のツリーだけで何とかなる。(だが板一覧とお気に入りと閲覧中を切り替えるキーバインドというか何か手段を講じないと)