+ GnomeTerminalのタブ高さ

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

Fedora39 2024-01-17 時点では、以下の設定が訊いた。

https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal

メモ

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

リンク先は消えるかもしれないので引用

~/.config/gtk-3.0/gtk.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;
}

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

https://qiita.com/Hayao0819/items/9ed3fb72d5e5354a12c2

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

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

~/.config/gtk-3.0/gtk.css

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;
}