web-dev-qa-db-ja.com

GNOMEで大規模なタイトルバーのマージン/パディングのサイズを縮小する方法

私は最近15.04から15.10へのアップグレードを行いましたが、マージンがこれほどばかげているとは思わないので、何かがリセット/変更されたのではないかと思っています。

Holy crap look at the size of that fatty?!

ご覧のとおり、上部のGNOMEバーは標準サイズであり、Firefoxのタブバーも標準サイズです。次に、真ん中の軽打は、本来あるべきサイズのおよそ2倍のタイトルバーの怪物です。

GTK +テーマにNumixを使用しています。これは、これまで使用した他のマシンでは決して肥大化していませんでした。タイトルバーのフォントサイズを小さくしようとしましたが、問題は、設定がないように見える余白/パディングです。

gnome15.10themesgnome-tweak-tool
3
Enigma

~/.config/gtk-3.0/gtk.cssを作成または変更します

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

次に、コマンドとしてAlt + F2およびrを使用してGNOME Shellを再起動します。

ソース： http://jadelinux.com/fedoratips/titlebarheight.html

4
kietnguyen

~/.config/gtk-3.0/gtk.cssを作成または変更します

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none;
}

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

次に、コマンドとしてAlt + F2およびrを使用してGNOME Shellを再起動します。

この回答から省略された余分なビットがNumixテーマを台無しにしました。

0
Enigma