La solicitud de más espacio entre los números de línea y el contenido a veces se ha expresado anteriormente en las listas de correo , y aquí hay un resumen de mi investigación de la situación actual.
Podemos encontrar cualquier geditconfiguración adicional ingresando en la terminal
gsettings list-recursively | grep -i gedit
y luego podemos reducirlo un poco más entrando
gsettings list-recursively | grep -i gedit | grep -i margin
que devuelve las entradas de margen y su configuración actual:
org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2
Pero estas son configuraciones de margen derecho, y son exactamente lo mismo que el menú de configuración de GUI; tampoco parece haber posibilidades apropiadas en el resto de la configuración o complementos que puedan ser útiles para usted.
Es importante tener en cuenta que geditusa gtksourceview y, cuando se examina, el conjunto de características de esa biblioteca será familiar para los geditusuarios. Sin embargo, no se menciona en las especificaciones del margen izquierdo o una forma de especificar una separación entre los números de línea y las entradas en su geditdocumento.
Sin embargo, creo que podría hacer lo que quiera parcheando la gtksourceviewbiblioteca y parcheando gedit. Después de mirar las especificaciones de gtksourceview , creo que necesitaría parchear la gtksourcegutterconfiguración; en la documentación se observa que
El objeto GtkSourceGutter representa los canales izquierdo y derecho de la vista de texto. GtkSourceView lo utiliza para dibujar los números de línea y las marcas de categoría que pueden estar presentes en una línea. Al empaquetar objetos GtkSourceGutterRenderer adicionales en la canaleta, puede extender la canaleta con sus propios dibujos personalizados.
Hay una discusión sobre la canaleta en las listas de correo , aunque no con referencia específica a su pregunta, sino con respecto a posibles personalizaciones.
Puede haber pensado que había habilitado el espacio entre los números de línea y las entradas en su documento al llevar a cabo el proceso que se muestra en la siguiente captura de pantalla.
Cree un nuevo archivo con gedit, vaya a edición> preferencias> vista y habilite el margen derecho y configúrelo en 2, por ejemplo. Luego coloca el cursor en el margen, escribe algo, presiona Retorno y luego guarda el archivo. Luego, cuando se vuelve a cargar el archivo, el espacio entre los números y el contenido se mantiene hasta que usted va más allá del margen.
Esto me ha sucedido varias veces y es confuso, pero no es una forma confiable de hacer lo que quieres. Como no hay configuraciones oficiales disponibles, la única forma de hacer lo que desea sería parchear gtksourceviewy gedit.
¿Alguien sabe cómo puedo aumentar el margen izquierdo en Gedit 3.6.1? Gracias