Comment puis-je ajuster les préférences pour gedit qui n'apparaissent plus dans le menu des préférences sous Ubuntu 18.04
Dans 16.04 avec Unity, j'ai (gedit - Version 3.18.3) le menu des préférences présenté ci-dessous:
Comme vous pouvez le constater, il existe un certain nombre d’options utiles, celle qui me manque le plus est Afficher les numéros de ligne. Ceci est indisponible le 18.04 avec Gnome (gedit - Version 3.28.1) à mon grand ennui, comme on le voit ci-dessous.
Ouvrez Gedit et cliquez sur le triangle déroulant à droite de l'endroit où il est indiqué Éditeur de texte dans le coin supérieur gauche du bureau, à côté de Activités.
Sélectionnez Préférences dans le menu déroulant de l'éditeur de texte.
Dans la fenêtre Préférences Gedit, cliquez sur l'onglet Afficher .
Dans la fenêtre Préférences Gedit, cochez la première option indiquant Afficher les numéros de ligne qui est marqué par le curseur de la souris dans la capture d'écran ci-dessous.
![enter image description here]()
Cliquez sur ▾ + Afficher les numéros de ligne dans le coin inférieur droit pour afficher les numéros de ligne de l'onglet ayant le focus uniquement.
Si vous voulez seulement afficher les numéros de ligne, cliquez sur l'indicateur de position du curseur dans la barre d'état en bas (qui ressemble à "Ln x, Col y") et cochez la case " Afficher les numéros de ligne ".
Comme mentionné dans les réponses par @ vanadium et @ karel , l'option " Préférences " a été déplacée dans l'application. Menu "dans la barre supérieure à côté de" Activités ". Mais si vous le souhaitez, vous pouvez le ramener à la fenêtre de l’application à l’aide de Tweaks (GNOME) pour obtenir un comportement plus proche de l’ancienne version.
Lancez Tweaks et allez à la section " Barre supérieure ". Activez ensuite l’option " Menu Application " OFF.
Puis reconnectez-vous ou redémarrez GNOME Shell pour en être sûr et vous devriez voir quelque chose comme ceci:
La boîte de dialogue que vous recherchez se trouve maintenant - avec confusion - dans le menu App. C'est le menu qui apparaît lorsque vous cliquez sur le nom de l'application dans la barre supérieure du bureau Ubuntu 18.04, qui est une version adaptée du bureau Gnome Shell. Il est conçu pour fournir des options qui s'appliquent à l'environnement d'application.
Comme vous l'avez expérimenté vous-même, le design pourrait ne pas être aussi chanceux. Selon certaines rumeurs, les développeurs de Gnome Shell prévoient de déplacer ce menu dans la fenêtre de l'application.
En creusant, j'ai découvert que la commande
gsettings set org.gnome.gedit.preferences.editor display-line-numbers true
fait le tour pour activer les numéros de ligne. D'autres préférences de Gedit peuvent également être ajustées. La commande
gsettings list-recursively | grep gedit
vous fournira une liste d'options.
Références:
https://howto8165.wordpress.com/2015/11/25/how-to-change-hidden-preferences-for-gedit/
configurez gedit pour toujours ouvrir dans une nouvelle fenêtre