Comment puis-je augmenter le rembourrage dans Gedit?

Question

J'aimerais ajouter du rembourrage dans la zone d'édition de Gedit. Voici une illustration du résultat souhaité:

J'ai l'intuition qu'il devrait être facile de faire avec une astuce similaire à celle que j'ai déjà utilisée pour ajouter du rembourrage dans Gnome Terminal:

augmenter le rembourrage dans le terminal gnome

Cependant, je ne trouve pas les bons sélecteurs CSS pour le faire.

Voici ce que j'ai trouvé jusqu'à présent:

• https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
  Quelques CSS montrant un sélecteur .gedit-document-panel, mais cela n’affecte que le panneau latéral que vous ouvrez avec F9

Answer 1

GTK_DEBUG=interactive gedit

Après avoir fouillé, j'ai trouvé le sélecteur qui fonctionne avec gedit dans Ubuntu 18.04:

.gedit-view {
    padding: 10px;
}