Si vous rencontrez des problèmes de rafraichissement partiel de l'ecran sous Gnome 3, particulièrement visible sous gnome-terminal, voici une astuce qui vaut le coup d'être testée.