La demande de plus d'espace entre les numéros de ligne et le contenu a parfois été exprimée sur les listes de diffusion auparavant, et voici un résumé de mon enquête sur la situation actuelle.
Nous pouvons trouver des geditparamètres supplémentaires en entrant dans le terminal
gsettings list-recursively | grep -i gedit
puis nous pouvons le réduire un peu plus en entrant
gsettings list-recursively | grep -i gedit | grep -i margin
qui renvoie les entrées de marge et vos paramètres actuels:
org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2
Mais ce sont des paramètres de marge de droite, et sont exactement les mêmes que le menu des paramètres de l'interface graphique; il ne semble pas non plus y avoir de possibilités appropriées dans le reste des paramètres ou des plugins qui pourraient vous être utiles.
Il est important de noter que geditutilise gtksourceview , et, une fois examiné, l' ensemble de fonctionnalités de cette bibliothèque sera familier aux geditutilisateurs. Il n'y a cependant aucune mention dans les spécifications de la marge de gauche ou un moyen de spécifier une séparation entre les numéros de ligne et les entrées dans votre geditdocument.
Cependant, je pense que vous pouvez faire ce que vous voulez en corrigeant la gtksourceviewbibliothèque et en corrigeant gedit. Après avoir regardé les spécifications de gtksourceview, je pense que vous auriez besoin de patcher les gtksourcegutterparamètres; dans la documentation, il est noté que
L'objet GtkSourceGutter représente les gouttières gauche et droite de la vue texte. Il est utilisé par GtkSourceView pour dessiner les numéros de ligne et les marques de catégorie qui peuvent être présentes sur une ligne. En emballant des objets GtkSourceGutterRenderer supplémentaires dans la gouttière, vous pouvez étendre la gouttière avec vos propres dessins personnalisés.
Il y a une discussion sur la gouttière dans les listes de diffusion , mais pas en référence spécifique à votre question, mais en ce qui concerne les personnalisations possibles.
Vous avez peut-être pensé que vous aviez activé l'espace entre les numéros de ligne et les entrées dans votre document en effectuant le processus illustré dans la capture d'écran ci-dessous.
Vous créez un nouveau fichier avec gedit, allez dans éditer> préférences> voir et activez la marge de droite et mettez-la à 2, par exemple. Ensuite, vous placez le curseur sur la marge, tapez quelque chose, appuyez sur Entrée, puis enregistrez le fichier. Ensuite, lorsque le fichier est rechargé, l'espace entre les chiffres et le contenu reste jusqu'à ce que vous dépassiez la marge.
Cela m'est arrivé plusieurs fois et est source de confusion, mais ce n'est pas un moyen fiable de faire ce que vous voulez. Comme il n'y a pas de paramètres officiels disponibles, la seule façon de faire ce que vous voulez serait de patcher gtksourceviewet gedit.
Est-ce que quelqu'un sait comment augmenter la marge gauche dans Gedit 3.6.1? Merci