■

PanelsUIが潰されたバージョンがリリースされましたが、どうせなんだかんだ言って移行するんだからということでPanelStackSplitterとELPlaylistを導入しましたよ。

PanelsUIの時と若干勝手が違うものの、割と似たような配置できて満足ですよ。

あくまで配置のみですが。

今回の排除は要するにTitle Formattingで好き勝手するなってことなんだろうけど、PanelStackSplitterもそれだと駄目になりそうで怖いね。

Title Formatting云々は、単に気に入らないものを排除する都合のいい口実かもしれませんが。