私が解決しようとしている問題は、ワークスペースをフル レイアウトに設定してから、他のウィンドウを開いていることを忘れるという悪い習慣があることです。
私が使用したい解決策は、メイン ウィンドウのタイトルを ppTitle を介して黒地に白で表示し続けることですが、他のウィンドウも灰色で表示します (おそらく少しトリミングされますが、それは重要ではありません)。私は ppTitleUnfocused か何かを望んでいましたが、私が知る限り、ppTitle が唯一のタイトル書式設定オプションです。
箱から出してやりたいことをする方法はありますか? そうでない場合、どうすれば dynamicLog を拡張できますか? それが自明でない場合、魔法の文字を ppTitle に追加し、ppOutput 中に置き換えるのはどうですか? (私は追加と置換を処理できると思いますが、置換テキストを生成することは私の Haskell の能力を超えています。)