+ GnomeTerminalのタブ高さ

created 2024-01-17 modified 2024-04-19 

GnomeTerminal のタブの高さがやたら太くて使いづらい件。

• Fedora39 の GnomeTerminal には gtk-3.0 の cssが効く
• css の仕様変更で ある時期に効いた設定方法が効かないことがある

terminal-window notebook > header.top button {
  padding: 0 0 0 0;
  background-image: none;
  border: 0;
  margin-right: 10px;
}
terminal-window notebook > header.top > tabs > tab {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}
terminal-window notebook > header.top > tabs > tab label {
  padding: 0 0 0 0;
  margin: 0 0 0 0;
}

タブを常に表示することでタブが増えても高さが変わらないようにする

gsettings set org.gnome.Terminal.Legacy.Settings tab-policy 'always'

タブではなくてウィンドウタイトルバーのサイズはこれ

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 0px;
    margin-bottom: 0px;
}
headerbar {
    min-height: 0px;
    padding-left: 2px;
    padding-right: 2px;
    margin: 0px;
    padding: 0px;
}