Bonjour,
Je ne sais pas si nous parlons de la même chose, avec Gnome j'utilise l'extension Windows List
https://extensions.gnome.org/extension/602/window-list/
Dans les commentaires associés à la sortie de Fedora 27 sur
LinuxFr ils citaient il me semble le même petit soucis et d'autres extensions. Pierre