Correction d’un vieux bug du pilote propriétaire nVidia

Les possesseurs de cartes graphiques nVidia utilisant le pilote propriétaire seront heureux d’apprendre qu’un vieux bug concernant le gestionnaire de fenêtres Mutter vient d’être enfin corrigé par les développeurs Rui Matos (GNOME) et Aaron Plattner (nVidia).

Le bug, particulièrement agaçant, causait de sévères scintillements et empêchait le contenu de certaines fenêtres de s’afficher ou de se mettre à jour.

Le correctif, inclut dans la dernière version de développement de GNOME 3.18, devrait également avoir droit à des rétroportages vers GNOME 3.14 et 3.16.