Dove sono le preferenze di gedit?

Questo è incredibilmente strano. Non vedo "preferenze" in nessuno dei miei menu di Gedit. Sto eseguendo la versione 3.8.3. Tutto quello che voglio fare è mostrare i numeri di riga, ma non posso farlo senza le preferenze.

Dove diavolo si nascondono?

nota: l'ho rimosso indicator-appmenusperché non mi piace avere i menu staccati dalla finestra.

Aggiornamento 2015: in qualche modo questo viene segnalato come un duplicato di Abilita numeri di riga in gedit che è un po 'confuso. La soluzione è la stessa ma le domande sono diverse.

Non sono sicuro di come preferencestornare nei menu, ma è possibile utilizzare gsettingsper visualizzare i numeri di riga. Immettere questo comando nel terminale:

gsettings set org.gnome.gedit.preferences.editor display-line-numbers true

Nel caso in cui sia necessario modificare altre impostazioni per gedit, è possibile utilizzare questo comando per trovarne alcune disponibili: (grazie a questa risposta)

gsettings list-recursively | grep -i gedit

se stai usando GNOME 3, puoi accedere alle preferenze tramite il menu in alto.

dovresti avere "attività" nell'angolo in alto a sinistra dello schermo. sul lato destro delle attività, avrai gedit. cliccaci sopra e dovresti vedere le preferenze.

Per ripristinare la voce delle preferenze nel menu di modifica, eseguire un comando in un terminale:

gsettings set org.gnome.settings-daemon.plugins.xsettings overrides '@a{sv} {"Gtk/ShellShowsAppMenu": <int32 0>}'

Il problema deriva da Gnome3 che mette la voce del menu delle preferenze nel menu principale.

Digita Alt+ E, poi di nuovo Equando sei in gedit. Dovrebbe apparire una nuova finestra chiamata "Preferenze gedit".

Di fronte a un problema simile ... ho ottenuto l'opzione di preferenza nella barra delle attività nell'angolo a sinistra. Sto usando gedit v3.22.1

impostazione delle preferenze gedit

Potrebbe essere necessario utilizzare lo strumento di modifica per disattivare temporaneamente alcune delle estensioni comuni che le persone normali usano ora per rendere utilizzabile gnome 3 su un desktop. Per me, ho dovuto disattivare la barra delle applicazioni e le estensioni del menu delle applicazioni. Quindi si può usare il metodo descritto da Buğra Koç sopra.

Ciò significa che la semplice attivazione e disattivazione dei numeri di riga e il ritorno a capo automatico in gedit sono spariti.

Se non hai bisogno di evidenziare il testo, Leafpad è un buon sostituto di gedit. Sembra il vecchio gedit:

sudo apt-get install leafpad

Nel mio desktop, l'ho trovato qui:

Le preferenze sono in fase di modifica in fondo all'elenco.

Prova a riavere la barra dei menu, o se ciò non riesce a rimuoverla completamente e installare una nuova istanza di gedit, la mia è 3.10.4, quindi la tua è un po 'vecchia!

So che questo è un vecchio thread, ma ho appena incontrato lo stesso problema. Alla fine, ho capito che era perché ero ancora connesso come superutente. Una volta uscito dal terminale e riaperto il terminale, tutto è tornato alla normalità.

Ho pensato di buttarlo là fuori nel caso in cui qualcun altro avesse lo stesso problema.

Se stai vedendo un # invece di $ nella tua riga di comando, questo è probabilmente il motivo per cui non riesci a vedere i tuoi valori predefiniti.

Puoi accedere alle impostazioni delle preferenze di qualsiasi app installando dconf-editor :

Derivati ​​Debian:

sudo apt install dconf-editor  

Derivati ​​Redhat:

sudo yum install dconf-editor # for Fedora replace yum with dnf

Quindi aprire dconf-editor

dconf-editor &>/dev/null &  

Fai clic sull'icona di ricerca e digita gedito segui questo percorso: org/gnome/gedit/preference/editor/display-line-number

Disattiva il valore predefinito e crea il valore personalizzato true