Lorsque je change d’espace de travail dans GNOME 3 (j’utilise le mode de repli), soit en utilisant un raccourci clavier (Ctrl + Alt + flèche_de), soit en cliquant sur l’icône d’espace de travail dans la barre des tâches, la fenêtre active est parfois modifiée. Par exemple, je travaille actuellement...