如何增加 Gedit 中的填充？

Question

我想在 Gedit 的编辑区域添加一些填充。以下是所需结果的说明：

我的直觉是，使用类似于我已经在 Gnome 终端中添加填充的技巧类似的技巧应该很容易做到：

增加 gnome 终端的填充

但是我找不到合适的 CSS 选择器来执行此操作。

这是我到目前为止发现的：

• https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
  一些 CSS 显示一些.gedit-document-panel选择器，但这只会影响使用 F9 打开的侧面板

Answer 1

GTK_DEBUG=interactive gedit

经过一番研究，我发现了在 Ubuntu 18.04 中与 gedit 一起使用的选择器：

.gedit-view {
    padding: 10px;
}