Pourquoi «gedit» revient-il tout le temps aux tailles d'onglets par défaut?

19

Chaque fois que j'ouvre un fichier dans gedit, je dois changer à nouveau l'onglet avec de 8 à 4, comme je le préfère.

Existe-t-il un fichier de configuration où je peux définir la largeur d'onglet par défaut?

gedit Tom Brito
la source

Réponses:

15

Dans geditle menu de, allez dans Edition -> Préférences. Lorsque la fenêtre "Préférences gedit" apparaît, cliquez sur l'onglet "Editeur" et vous pourrez modifier le paramètre Largeur de l'onglet.

waltinator
la source
Cela ne s'applique pas aux dernières versions de Gedit avec GNOME 3.
Flimm
@Flimm: Dans Gedit dans Gnome 3, vous pouvez trouver la boîte de dialogue des préférences en cliquant sur la barre supérieure de l'écran, à côté de "Activités".
Raoul Steffen
@RaoulSteffen Je ne pense pas cependant qu'il y ait un paramètre de largeur de tabulation.
Flimm
@Flimm: Il y en a pour moi. Menu> Préférences> Editeur> Tab Stops> Tab tabulation. Ressemble beaucoup à la capture d'écran jrg publiée dans sa réponse. J'ai Gedit 3.28.1 (comme il est venu avec Ubuntu 18.04).
Raoul Steffen
11

Pour GNOME 3, allez ici

GNOME 2

Allez dans Edit > Preferencesin gedit. Ensuite, passez à l' Editoronglet:

entrez la description de l'image ici

Modifiez ces préférences au contenu de votre cœur.

(Veuillez excuser le thème GTK laid, les dernières mises à jour Oneiric ont cassé mes thèmes XFCE)

jrg
la source
Cela ne s'applique pas aux dernières versions de Gedit dans GNOME 3.
Flimm
4

Ouvrez Terminal et saisissez:

gsettings set org.gnome.gedit.preferences.editor tabs-size 4
Shubham
la source
1
Je vous remercie! Cette réponse fonctionne dans la dernière version de Gedit dans GNOME 3.
Flimm
Vous en avez également besoin si vous souhaitez modifier des scripts Python: gsettings set org.gnome.gedit.preferences.editor insert-spaces true il indique geditd'utiliser des espaces plutôt que des tabulations.
Valentin Stoykov
J'ai trouvé le insert-spacesavec gsettings list-recursively org.gnome.gedit.preferences.editor | grep space.
Valentin Stoykov
Pour l'indentation automatique:gsettings org.gnome.gedit.preferences.editor auto-indent true
Valentin Stoykov