polari IRCチャットクライアントのフォントを変更するには?

polari IRCチャットクライアントのフォントを変更するには?

Polari IRCチャットクライアントのデフォルトフォントを変更できますか? DejaVu Sans Monoに変えたいです。

答え1

GTKフォントが使用されていることがわかりました。 Polariではカスタマイズできません。私のGTKテーマはこの「問題」を引き起こしています。

関連情報