也许我只是在某个地方弄乱了一些东西,或者现在有一个不同的 CSS 类用于在 gnome 终端中创建填充,但我无法让它填充。我尝试了此页面上的多种解决方案:
但是他们都没有使填充起作用。最新的答案说使用:
vte-terminal {
padding: 10px;
}
...但毫无进展。现在还有其他方法吗?
一年后我刚刚回到 ubuntu,我还注意到没有选项可以将图像设置为 gnome 终端的背景,而以前的偏好设置中是有这个选项的。
答案1
这与您将它添加到文件的位置有关~/.config/gtk-3.0/gtk.css
。我假设您的文件中有更多行,下面是我所做的示例,因此我的文件中有填充:
这从文件的第 93 行开始。
panel-off */
VteTerminal, vte-terminal {
padding: 10px;
}
/* menu-off
或者你可以将其添加到文件的最底部/* End custom styles */
/* End custom styles */
VteTerminal, vte-terminal {
padding: 10px;
}
和行已经存在。我只是在它们之间添加了行,因为我假设 和 是panel-off
文件中各部分的结束和开始。menu-off
*/
/*
保存文件,关闭所有 gnome-terminal 窗口。然后重新启动。
编辑:重新安装也gnome-terminal
有帮助。
sudo apt install --reinstall gnome-terminal
希望这可以帮助!