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

Question

Recentemente consegui 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 me lembro de como o Gedit retornou à margem clássica, que é muito restrita para mim. Veja a captura de tela:

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

    

Answer 1

A solicitação de mais espaço entre números de linha e conteúdo às vezes foi expressa no envio de e-mails -lists antes, e aqui está um resumo da minha investigação da situação atual.

Podemos encontrar qualquer configuração adicional de gedit digitando no terminal

gsettings list-recursively | grep -i gedit

e depois podemos reduzi-lo um pouco mais, inserindo

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

que retorna as entradas da 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 configurações de margens corretas e são as mesmas do menu de configurações de gui; Também não parece haver nenhuma possibilidade apropriada no resto das configurações ou qualquer plugins que seria útil para você .

É importante observar que gedit usa gtksourceview e, quando examinado, o conjunto de recursos dessa biblioteca será familiar para gedit usuários. Não há, no entanto, nenhuma menção nas especificações da margem esquerda ou uma maneira de especificar uma separação entre números de linha e as entradas no seu documento gedit .

No entanto, acho que você pode fazer o que você deseja, corrigindo a biblioteca gtksourceview e corrigindo gedit . Depois de analisar as especificações gtksourceview , acho que você precisaria corrigir as configurações de gtksourcegutter ; na documentação , é de notar que

% bl0ck_qu0te%

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

Você pode ter pensado que você ativou o espaço entre números de linha e entradas em seu documento, executando o processo mostrado na captura de tela abaixo.

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

Isso aconteceu comigo algumas vezes e é confuso, mas não é uma maneira confiável de fazer o que você quer. Como não há configurações oficiais disponíveis, a única maneira de fazer o que você deseja seria corrigir gtksourceview e gedit .