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