Como ajusto a margem para os números de linha no gEdit?

Recentemente fui capaz de aumentar a margem esquerda entre o código e os números de linha no Gedit (Gnome-text-editor) no Ubuntu 12.10. Não me lembro de como consegui isso, nem de como o Gedit reverteu para a margem clássica, o que é muito apertado para mim. Veja a captura de tela:

Alguém sabe como posso aumentar a margem esquerda no Gedit 3.6.1? obrigado

A solicitação de mais espaço entre os números de linha e o conteúdo já foi às vezes mencionada nas listas de discussão antes, e aqui está um resumo da minha investigação da situação atual.

Podemos encontrar geditconfigurações adicionais inserindo o terminal

gsettings list-recursively | grep -i gedit

e então podemos reduzi-lo um pouco mais, digitando

gsettings list-recursively | grep -i gedit | grep -i margin

que retorna as entradas de margem e suas configurações atuais:

org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2

Mas essas são as configurações da margem direita e são exatamente as mesmas do menu de configurações da GUI; também não parece haver possibilidades apropriadas no restante das configurações ou nos plug-ins que seriam úteis para você.

É importante observar que geditusa gtksourceview e, quando examinado, o conjunto de recursos dessa biblioteca será familiar para os geditusuários. Entretanto, não há menção nas especificações da margem esquerda ou uma maneira de especificar uma separação entre os números de linha e as entradas no seu geditdocumento.

No entanto, acho que você pode fazer o que deseja, corrigindo a gtksourceviewbiblioteca e corrigindo gedit. Depois de examinar as especificações gtksourceview , acho que você precisaria corrigir as gtksourcegutterconfigurações; na documentação , note-se que

O objeto GtkSourceGutter representa as calhas esquerda e direita da exibição de texto. É usado pelo GtkSourceView para desenhar os números de linha e as marcas de categoria que podem estar presentes em uma linha. Ao compactar objetos GtkSourceGutterRenderer adicionais na calha, você pode estender a calha com seus próprios desenhos personalizados.

Há uma discussão sobre a sarjeta nas listas de discussão , embora não com referência específica à sua pergunta, mas com relação a possíveis personalizações.

Você pode ter pensado ter habilitado espaço entre números de linhas e entradas no seu documento executando o processo mostrado na captura de tela abaixo.

Crie um novo arquivo com gedit, vá para editar> preferências> visualizar e ative a margem direita e defina-a como 2, por exemplo. Em seguida, coloque o cursor na margem, digite algo, pressione Enter e salve o arquivo. Então, quando o arquivo for recarregado, o espaço entre os números e o conteúdo permanecerá até você ultrapassar a margem.

Isto aconteceu-me algumas vezes, e é confuso, mas é não uma maneira confiável de fazer o que quiser. Como não há configurações oficiais disponíveis, a única maneira de fazer o que você deseja seria patch gtksourceviewe gedit.