如何使用“添加新选项卡”和选项卡项列表来风格化终端的容器？

Question

我说的是这个容器：

它的 CSS id/class/tag 是什么？我尝试在 gnome-terminal 源中找到它，但我不熟悉 C++。

Answer 1

是的TerminalWindow .notebook .button。这对我有用：

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