gnome-shellでタイトルバーの高さを変更する方法はありますか？
現在は私の好みに比べて大きすぎるので、もっと小さくしたいです。
一部のトピックは正確ですが、正確にどこを見るべきかわかりません。私はそれがCSS / jsに関連していると仮定できます。
私の現在のGNOME Shellバージョンは3.16.4Ubuntuです。
これは役に立ちません：GNOMEシェルのトップバーのサイズを変更する方法。私はこれを期待していませんでしたが、それは私に方向を示すかもしれません...
ベストアンサー1
「すべての場所」を検索した後アーチLinuxフォーラム投稿日付 2015年4月:
css次の内容を入れる必要があります。~/.config/gtk-3.0/gtk.css
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
充填材を変えたら、1pxもう大好きです！
注：私の直感は正しいです！それはいCSS関連