タイトルバーのサイズを小さくするには？

UbuntuからDebianに切り替えた後、同様の問題が発生しました。 Jessie... Arch Linux Boardsに関する記事が正しい方向を示しました。レポートによると、Gnomeが3.16からGTKテーマとCSSに切り替える前に、Arch Wikiにファイルを修正するためのガイドがあります。/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xmlタイトルバーの高さを変更するために使用されます。私の考えでは、このパスはAdwaitaテーマでのみ機能しますが、テーマごとに大きく変わることはありません。

文書を確認し、これらの設定のいくつかをインターネットで検索して見つけることができました。

<distance name="title_vertical_pad" value="X"/>

タイトルバーの一般的なパディング設定を示します。この設定は複数回表示されます。私の目的のために、通常の状態と最大化された状態のウィンドウのタイトルバーを参照して、ラベルと含ま<frame_geometry name="normal" ... >れる値を減らすだけで十分です。<frame_geometry name="max" ... >

ウィンドウボタンのアイコンはタイトルバーのサイズによって縮小され、title_vertical_pad設定が非常に低い場合（約<7）、アイコンは長方形にレンダリングされます。微妙に増加

<constant name="D_icons_grow" value="0" />

この問題を解決できます。

xmlドキュメントには「これは通常のtitle_vertical_padより1が小さくなければなりません。そうでなければより大きなボタンが必要です」<frame_geometry name="max" ... >という警告が含まれていますが、title_vertical_padこのアドバイスに従ったときに私はそのような効果に全く気づいていませんでした。D_icons_grow私は「7」と「2」を選びました。この値を少し調整してファイルを保存し、ALT + F2を押して「r」と入力してシェルを再ロードして効果を確認します。ただし、以前に元のファイルをバックアップしておくことをお勧めします。