Geditでパディングを増やすにはどうすればよいですか？
Geditの編集領域にパディングを追加したいと思います。望ましい結果の例を次に示します。
私は、Gnomeターミナルでパディングを追加するためにすでに使用しているこのトリックに似たトリックで簡単にできるはずの直感を持っています。
しかし、これを行うための適切なCSSセレクターが見つかりません。
ここに私がこれまで見つけたものがあります：
- https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
一部の.gedit-document-panelセレクターを表示するCSSがありますが、これはF9で開いたサイドパネルにのみ影響します
GTK_DEBUG=interactive gedit
いろいろ調べてみると、Ubuntu 18.04のgeditで動作するセレクターが見つかりました。
.gedit-view {
padding: 10px;
}