Re: perte de focus sous gnome

[admini <admini@freeatome.com>]

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é.