Je me suis un peu renseigné et normalement le bug sera corrigé dans 3.10.1 qui devrait arriver très vite dans extra.

Me revoilà après un petit tour sur le forum officiel !

Il semblerait qu'il y ait une solution que l'on peut trouver ici : https://bbs.archlinux.org/viewtopic.php ... 9#p1337259
Je ne peux pas la tester pour l'instant, mais je verrais ça ce soir.

A suivre...

Personnellement, le redémarrage de Gnome Shell ne changeait rien du tout...

En revanche, j'ai remarqué un nouveau problème : le plugin Gnome Shell pour Firefox a disparu. Je ne peux donc plus installer de nouvelles extensions via le site extensions.gnome.org...

J'ai aussi des problèmes sur le bureau de mon écran principal (le bureau scintille et quand je bouge une fenêtre, je vois sa trace). Une solution temporaire se trouve ici : il suffit, dans les paramètres de Gnome, de désactiver et réactiver l'écran qui pose problème. Ça solutionne le problème pour ...

Bonsoir à tous,

Depuis Gnome 3.10, a été intégré la barre d'entête, fusionnant la barre de titre et la barre d'outils des applications.
Cette fonctionnalité a marché pendant très peu de temps, puisque les applications intégrant cette fonctionnalité sont vite devenue inutilisable. Elles sont en ...