如何增加 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;
}