ジャガでメニューバーのフォントを変更したり、サイズ変更できますか？
メニューが無意味にアンチエイリアスかけてたり、
フォントがデカいせいで表示が遅かったり
そんなところでXはストレスを感じるんだろうと思ってます。
TinkerToolを使ってもフォントが変わらないし、
どーにかならないもんですかね？