Perché 'gedit' torna sempre alle dimensioni di scheda predefinite?

19

Ogni volta che apro un file in gedit, devo cambiare di nuovo la scheda da 8 a 4, come preferisco.

Esiste un file di configurazione in cui posso impostare 4 la larghezza della scheda predefinita?

gedit

— Tom Brito
fonte

15

Nel geditmenu, vai su Modifica -> Preferenze. Quando viene visualizzata la finestra "Preferenze di gedit", fai clic sulla scheda "Editor" e sarai in grado di modificare l'impostazione della larghezza della scheda.

— waltinator
fonte

Questo non si applica alle ultime versioni di Gedit con GNOME 3.

— Flimm,

@Flimm: in Gedit in Gnome 3, puoi trovare la finestra di dialogo delle preferenze facendo clic sulla barra superiore dello schermo, accanto a "Attività".

— Raoul Steffen,

@RaoulSteffen Non credo che ci sia un'impostazione Larghezza scheda.

— Flimm,

@Flimm: c'è per me. Menu> Preferenze> Editor> Fermi scheda> Larghezza scheda. Assomiglia molto allo screenshot di jrg pubblicato nella sua risposta. Ho Gedit 3.28.1 (come è arrivato con Ubuntu 18.04).

— Raoul Steffen,

11

Per GNOME 3, vai qui

GNOME 2

Vai a Edit > Preferencesin gedit. Quindi, passa alla Editorscheda:

inserisci qui la descrizione dell'immagine

Modifica quelle preferenze per il contenuto del tuo cuore.

(Scusa il brutto tema GTK, gli ultimi aggiornamenti di Oneiric hanno rotto i miei temi XFCE)

— JRG
fonte

Questo non si applica alle ultime versioni di Gedit in GNOME 3.

— Flimm,

4

Apri Terminale e digita:

gsettings set org.gnome.gedit.preferences.editor tabs-size 4

— Shubham
fonte

1

Grazie! Questa risposta funziona nell'ultima versione di Gedit in GNOME 3.

— Flimm,

Inoltre, è necessario se si desidera modificare gli script Python: gsettings set org.gnome.gedit.preferences.editor insert-spaces true indica geditdi utilizzare gli spazi anziché le schede.

— Valentin Stoykov,

Ho trovato il insert-spacescon gsettings list-recursively org.gnome.gedit.preferences.editor | grep space.

— Valentin Stoykov,

Per il rientro automatico:gsettings org.gnome.gedit.preferences.editor auto-indent true

— Valentin Stoykov il