Le Hollandais Volant#2467 - Résoudre le bug du surlignage de la ligne actuelle dans Gedit sous Ubuntu 12.04.
C’est juste une ligne dans le fichier du thème Classique d’Ubuntu.
Ajoutez :
<!-- Current Line -->
<style name="current-line" background="#E2E2E2"/>
Dans le fichier /usr/share/gtksourceview-3.0/styles/classic.xml.
Bon, maintenant que j’ai réparé Gedit, on va pouvoir commencer à bosser correctement (reste juste un bug de correction orthographique dans les fichiers coloré en PHP que je traine depuis 3 ans et que je n’arrive pas à résoudre).
Ajoutez :
<!-- Current Line -->
<style name="current-line" background="#E2E2E2"/>
Dans le fichier /usr/share/gtksourceview-3.0/styles/classic.xml.
Bon, maintenant que j’ai réparé Gedit, on va pouvoir commencer à bosser correctement (reste juste un bug de correction orthographique dans les fichiers coloré en PHP que je traine depuis 3 ans et que je n’arrive pas à résoudre).