web-dev-qa-db-ja.com

Gnomeターミナルはタブの高さを調整します

低解像度(1366x768)のラップトップでUbuntu Gnome 16.04を実行しています。 Gnomeのほとんどの項目を調整して、このディスプレイでの見栄えを良くすることができましたが、gnome-terminalタブは私を避けているようです。私はピクセルの高さを少し小さくして、見た目が悪くないようにしたいと思います(高dpiディスプレイでは素晴らしいように見えます)...

〜/ .config/gtk-3.0/gtk.cssにタイトルバーでやらなければならないように何かを追加できると思います-しかし、私はcssについてスクワットを知らず、私のgoogle-fuは降伏していないようです良い結果。

4
Michael Ford

〜/ .config/gtk-3.0/gtk.cssの編集を見つけました here stackoverflowで@Lari Hotariによって.

ボタンは削除されませんが、暗いテーマの場合はボタンがきれいになり、垂直方向のスペースが少なくなります。

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

私はこのカスタマイズを使用していますが、暗いテーマでもうまく機能します(上記のリンクにもあります):

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

その後、セッションからログアウトして再度ログインすると、テーマが有効になります。 Alt + F2キーと「再起動」を入力しても機能しませんでしたが、走行距離は異なる場合があります。

4
Michael Ford