Le problème vient de l'environnement de Bureau. Sous Gnome Shell, les préférences générales doivent être gérées via le menu global de l'application (accessible en cliquant sur son nom dans la barre du haut). Sous les autres environnement, comme il n'y a pas ce menu global, c'est accessible à l'endroit que Marotte a montré.
[^] # Re: T'as vraiment bien cherché ?
Posté par Renault (site web personnel) . En réponse au message Configuration de Gedit 3.14 (debian 8). Évalué à 4.
Non, ça c'est un panneau latéral de GEdit.
Le problème vient de l'environnement de Bureau. Sous Gnome Shell, les préférences générales doivent être gérées via le menu global de l'application (accessible en cliquant sur son nom dans la barre du haut). Sous les autres environnement, comme il n'y a pas ce menu global, c'est accessible à l'endroit que Marotte a montré.