La richiesta di più spazio tra i numeri di riga e il contenuto è stata talvolta espressa nelle mailing list in precedenza, ed ecco un riassunto della mia indagine sulla situazione attuale.
È possibile trovare eventuali geditimpostazioni aggiuntive accedendo al terminale
gsettings list-recursively | grep -i gedit
e quindi possiamo restringere ulteriormente un po 'entrando
gsettings list-recursively | grep -i gedit | grep -i margin
che restituisce le voci di margine e le impostazioni correnti:
org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2
Ma queste sono le giuste impostazioni dei margini e sono le stesse del menu delle impostazioni della gui; inoltre, non sembra esserci alcuna possibilità appropriata nel resto delle impostazioni o plug-in che potrebbero essere utili per te.
È importante notare che geditutilizza gtksourceview e, quando esaminato, il set di funzionalità di quella libreria sarà familiare agli geditutenti. Tuttavia, non vi è alcuna menzione nelle specifiche del margine sinistro o un modo per specificare una separazione tra i numeri di riga e le voci nel geditdocumento.
Tuttavia, penso che potresti fare quello che vuoi patching la gtksourceviewlibreria e patching gedit. Dopo aver esaminato le specifiche di gtksourceview, penso che dovresti correggere le gtksourcegutterimpostazioni; nella documentazione si nota che
L'oggetto GtkSourceGutter rappresenta le grondaie sinistra e destra della vista testo. Viene utilizzato da GtkSourceView per disegnare i numeri di riga e i segni di categoria che potrebbero essere presenti su una riga. Impacchettando ulteriori oggetti GtkSourceGutterRenderer nella grondaia, è possibile estenderla con i propri disegni personalizzati.
C'è una discussione sulla grondaia nelle mailing list , anche se non con specifico riferimento alla tua domanda, ma per quanto riguarda le possibili personalizzazioni.
Potresti aver pensato di aver abilitato lo spazio tra i numeri di riga e le voci nel tuo documento eseguendo il processo mostrato nello screenshot qui sotto.
Crea un nuovo file con gedit, vai a modifica> preferenze> visualizza e abilita il margine destro e impostalo su 2, ad esempio. Quindi posiziona il cursore sul margine, digita qualcosa, premi invio e quindi salva il file. Quindi, quando il file viene ricaricato, lo spazio tra i numeri e il contenuto rimane finché non si supera il margine.
Questo mi è successo un paio di volte ed è confuso, ma non è un modo affidabile di fare ciò che vuoi. Dato che non ci sono impostazioni ufficiali disponibili, l'unico modo per fare ciò che vuoi sarebbe patch gtksourceviewe gedit.
Qualcuno sa come posso aumentare il margine sinistro in Gedit 3.6.1? Grazie