私の他の質問に対する回答で示唆されているように、テーマをカスタマイズすることで、GTK ベースのアプリケーションをよりコンパクトに見せようとしています。
で見たいくつかの値を減らしgtkrc
たところ、改善されましたが、十分ではありませんでした。
さらに縮小したい:
どうやってするの?
さまざまなパディングを調整したり、少なくとも gtkrc で設定できるプロパティの完全なリストを表示したりするのに役立つツールはありますか? に含めることができるプロパティの完全なリストを含むドキュメントはありますgtkrc
か?