Sorry, I forgot the following information:
- GNOME Shell 50.2 - Mesa version 26.1.4-1 Not sure this is useful though but could be needed anyway. Regards -- Emmanuel Fleury Univ. de Bordeaux, LaBRI, | Associate Professor, 351, Cours de la Libération | Email: [email protected] 33405 Talence Cedex, France | Web: http://www.labri.fr/~fleury

