Le 26/06/2013 15:45, Guy Roussin a écrit :
En enlevant toutes les extensions ça fait pareil ?
tu parles des extensions dans gnome-shells?
Oui
Guy

bon ben, les extensions sont déjà vides. on a fini par réinstaller, par manque de temps. le bug a disparu.
dommage, on ne saura jamais ce qui s'est passé.

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers [email protected]
En cas de soucis, contactez EN ANGLAIS [email protected]
Archive: http://lists.debian.org/[email protected]

Répondre à