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


43

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 afficher 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-appmenusparce que 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 l' activation des 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.


Votre gEdit a-t-il une icône représentant une roue dentée dans la barre d’outils de la fenêtre principale?
Dobey

1
@ Dobey non, ça ne marche pas.
Amanda

Eeesh. @ vasa1 C'est le cas. Modification de mon Q
Amanda

4
iwould ck ici car la question n'était pas une option de menu de préférence askubuntu.com/questions/364117/enable-line-numbers-in-gedit/…
doug

1
Ce qui a bien fonctionné a été de définir explicitement les numéros de ligne avec w / `gsettings défini org.gnome.gedit.preferences.editor display-line-numbers true`
Amanda

Réponses:


25

Je ne sais pas comment preferencesrevenir dans vos menus, mais vous pouvez utiliser gsettingspour 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 souhaitez modifier d’autres paramètres gedit, vous pouvez utiliser cette commande pour en trouver quelques-uns: (grâce à cette réponse)

gsettings list-recursively | grep -i gedit

11
n'arrive pas à croire pourquoi gedit est devenu si difficile à utiliser de nos jours ....
BufBills

2
+1 car cette réponse est valable pour Gedit dans GNOME 3.12 et probablement aussi pour les nouvelles versions. Dans les nouvelles versions, Gedit ne semble pas avoir la boîte de dialogue des préférences décrite ci-dessous .
clearkimura

37

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.


Je vois les préférences, mais cliquer dessus ne fait rien.
Irfan

@ Power-Inside Si vous avez un menu du haut mais que l'élément de menu "Préférences" ne fait rien, vous voudrez probablement poser une nouvelle question.
Amanda

1
ew! encore une autre raison pour moi de ne pas retourner à gnome. Pourquoi déplacer les préférences vers un emplacement de style Mac? absurde
jozxyqk

Ça m'aide. Merci! J'ai trouvé beaucoup de conseils pour y accéder via le menu "édition", mais je ne pouvais pas le trouver sur mon Ubuntu GNOME 16.04. Je ne pouvais pas imaginer que cela passe dans un menu global.
Hata

2
en le lançant avec sudo, les préférences sont dans la barre standard à trois barres, et non dans la barre supérieure, et les préférences sont verrouillées (gedit 3.30 sous Arch)
user1708042 le

15

Pour que l'entrée des préférences revienne dans le menu d'édition, 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.


Merci, c’était la seule solution qui fonctionnait pour moi (avec CentOS mais la solution est la même). Je ne peux pas croire que c'est caché par défaut !!
Crobicha

11

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

préférences gedit


3
Pas de dés, j'ai bien peur.
Amanda

@ Amanda J'utilise gedit 3.8.3 dans Ubuntu 13.10 et c'est ainsi que j'ouvre les préférences dans gedit. Je t'ai fait aussi une photo pour te prouver.
Radu Rădeanu

2
Je vous crois, mais mon menu d'édition se termine à "Insérer la date et l'heure"
Amanda

@ Amanda Vous pouvez également utiliser gsettingspour modifier geditles paramètres.
OSE

Cela fonctionne pour moi:gsettings set org.gnome.gedit.preferences.editor display-line-numbers true
OSE


1

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 que l'activation et la désactivation faciles des numéros de ligne et des retours à la ligne dans gedit ont disparu.

Si vous n'avez pas besoin de texte en surbrillance, Leafpad remplace avantageusement gedit. Il ressemble à l'ancien gedit:

sudo apt-get install leafpad


0

Les préférences sont en cours d’édition au bas de la liste. entrez la description de l'image ici

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


0

Je sais que c'est un vieux fil, mais je viens de rencontrer le même problème. Finalement, j'ai compris que c'était parce que j'étais toujours 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.


Bien que cela soit vrai, cela n'explique pas comment accéder aux préférences lorsque vous utilisez geditdes super-utilisateurs sudo.
WinEunuuchs2Unix

0

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ésactiver la valeur par défaut et rendre la valeur personnalisée true

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.