web-dev-qa-db-fra.com

Où sont les préférences de Gedit?

C'est incroyablement étrange. Je ne vois pas de "préférences" dans aucun de mes menus gedit. J'utilise la version 3.8.3. Tout ce que je veux faire, c'est montrer les numéros de ligne, mais je ne peux pas le faire sans préférences.

Où diable se cachent-ils?

remarque: j'ai supprimé indicator-appmenus car je n'aime pas avoir les menus détachés de la fenêtre.

Mise à jour 2015: cela est en quelque sorte signalé comme une dupe de Activer les numéros de ligne dans gedit , ce qui est un peu déroutant. La solution est la même mais les questions sont différentes.

41
Amanda

Je ne sais pas trop comment obtenir preferencesdans vos menus, mais vous pouvez utiliser gsettingsNAME _ pour afficher les numéros de ligne. Entrez cette commande dans le terminal:

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

Si vous devez modifier d'autres paramètres pour geditname__, vous pouvez utiliser cette commande pour en trouver quelques-uns disponibles: (grâce à this answer)

gsettings list-recursively | grep -i gedit
24
OSE

si vous utilisez GNOME 3, vous pouvez accéder aux préférences via le menu principal.

vous devriez avoir "activités" dans le coin en haut à gauche de votre écran. du côté droit des activités, vous aurez gedit. cliquez dessus et vous devriez voir les préférences.

34
Buğra Koç

Pour que l'entrée des préférences revienne dans le menu Edition, effectuez la commande suivante dans un terminal:

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

Le problème provient de Gnome3 qui place l'entrée de menu de préférences dans le menu supérieur.

14
user5950

Il suffit de taper Alt+E, puis encore E quand vous êtes dans gedit. Une nouvelle fenêtre appelée "Préférences gedit" devrait apparaître.

gedit preferences

10
Radu Rădeanu

Vous devrez peut-être utiliser l'outil Tweak pour désactiver temporairement certaines des extensions courantes que les gens normaux utilisent maintenant pour rendre gnome 3 utilisable sur un bureau. Pour moi, je devais désactiver les extensions de menu de la barre des tâches et des applications. Ensuite, on peut utiliser la méthode décrite par Buğra Koç ci-dessus.

Cela signifie qu’il est facile d’activer et de désactiver les numéros de ligne et que l’enveloppement de mots dans gedit a disparu.

Si vous n'avez pas besoin de texte en surbrillance, Leafpad est un bon substitut pour gedit. Il ressemble à l'ancien gedit:

Sudo apt-get install leafpad
1
varanasib

Les préférences sont en cours d’édition au bas de la liste. enter image description here

Essayez de récupérer la barre de menus, ou si cela échoue, supprimez-la complètement et installez une nouvelle instance récente de gedit, la mienne est la 3.10.4, donc la vôtre est un peu vieille!

0
Ken Mollerup

Je sais que c'est un vieux fil, mais je viens de rencontrer le même problème. En fin de compte, j'ai compris que c'était parce que j'étais encore connecté en tant que superutilisateur. Une fois que je me suis déconnecté du terminal et que j'ai rouvert le terminal, tout est rentré dans l'ordre.

Je pensais que je mettrais ça au cas où quelqu'un aurait le même problème.

Si vous voyez un # au lieu d'un $ sur votre ligne de commande, c'est probablement pourquoi vous ne pouvez pas voir vos valeurs par défaut.

0
DocGil

Vous pouvez accéder aux paramètres de préférence de n'importe quelle application en installant dconf-editor :

Dérivés Debian:

Sudo apt install dconf-editor  

Dérivés de Redhat:

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

Puis ouvrez dconf-editor

dconf-editor &>/dev/null &  

Cliquez sur l'icône de recherche et tapez geditou suivez ce chemin: org/gnome/gedit/preference/editor/display-line-number

Désactivez la valeur par défaut et définissez la valeur personnalisée truename__

0
finn