J'ai un problème étrange avec gEdit. C'est gEdit 3.2 dans Ubuntu 11.10.
Lorsque je sélectionne un texte, il doit s'agir d'un texte blanc sur fond orange (Unity 11.10 par défaut).
Soudain, cela a commencé à agir différemment: lorsque je sélectionne du texte, il s’agit d’un texte blanc sur la couleur de fond réelle (blanc sur noir, par exemple).
Je ne sais pas si c'est lié à gEdit ou à Unity, mais depuis Ubuntu 11.10, je ne peux changer que la police et le thème par défaut dans "Edition -> Préférences -> Polices et couleurs". Aucune autre option "tweakable" n'est disponible. Le problème se pose quel que soit le thème choisi.
Je ne sais pas pourquoi cela se produit et comment résoudre ce problème. Quelqu'un a-t-il vu quelque chose de similaire?
Trouvez la solution moi-même:
C'était un problème de style (thème). Vérifié à nouveau en utilisant le thème par défaut et cela se comporte comme prévu. J'ai donc examiné attentivement les autres thèmes et constaté que tous ces thèmes ne posaient pas ce problème.
La solution consistait à éditer le code du thème (twilight.xml) pour insérer les lignes suivantes:
<style name="selection" background="orange" />
<style name="selection-unfocused" foreground="white" background="gray" />
Au fait, l'emplacement des thèmes dans gEdit 3 diffère de celui de gEdit 2. Le voici:
~/.local/share/gtksourceview-3.0/styles/
Vous pouvez créer le répertoire vous-même s'il n'existe pas. Plus d'informations sur les chemins de style ici: http://live.gnome.org/GtkSourceView/StyleSchemes