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
source

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
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
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
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