これがDebian 12の問題なのか、xfce4（4.18）の問題なのか、それともGTK（3.24）の問題なのかはわかりません。さまざまなアプリケーションでこのフォントまたはそのフォントを選択できますが、特にポップアップダイアログでは、アプリケーションはデフォルトのフォントを制御できません。私はこれがGTKだと聞きました。とにかく、デフォルトのフォントはかなり醜く、Courierのような古いタイプライターフォントのように見えます。変更できますか？では、利用可能なオプションのリストはどこにありますか？