¿Cómo ajusto el margen para los números de línea en gEdit?

8

Recientemente pude aumentar el margen izquierdo entre el código y los números de línea en Gedit (Gnome-text-editor) en Ubuntu 12.10. No recuerdo cómo logré esto, tampoco recuerdo cómo Gedit volvió al margen clásico que es muy estrecho para mí. Ver captura de pantalla:

Gedit ¿Alguien sabe cómo puedo aumentar el margen izquierdo en Gedit 3.6.1? Gracias

gedit Hanynowsky
fuente
Si no sabe cómo aumentó el margen antes, tal vez fue porque tenía suficientes líneas para hacer que los números de línea más largos requieran más espacio. Luego, los números de línea más pequeños utilizarán el espacio extra como margen. No sé de otra manera.
Zilvador
No. Recuerdo que era una opción en algún lugar para aumentar y disminuir el margen entre line_numbers y code.
Hanynowsky

Respuestas:

3

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.

ingrese la descripción de la imagen aquí


fuente