Indicateur d'espace de travail partiellement masqué dans Ubuntu 17.10

Depuis la mise à niveau vers Ubuntu 17.10, l'indicateur d'espace de travail dans le shell gnome n'est que partiellement visible à droite jusqu'à ce que je survole puis qu'il se développe.

C'est ennuyeux car il est très inutile et obscurcit la vue de ce qui est ouvert et où il est ouvert. Puisque c'est tout l'intérêt de cet indicateur, je me demande.

Est-ce que cela peut être corrigé pour être entièrement visible immédiatement lorsque vous appuyez sur la touche Windows ou le coin chaud comme c'était le cas dans Ubuntu GNOME 17.04?

J'ai eu la même plainte, heureusement, il existe une solution facile à ce problème, installez simplement cette extension gnome Always Zoom Workspaces

Vous pouvez essayer une extension de shell GNOME appelée Expand Workspaces Switcher .

Il s'agit d'une extension pour GNOME Shell 3.26+ qui étend le sélecteur d'espace de travail dans la vue d'ensemble lorsque les espaces de travail sont utilisés, comme dans les versions précédentes de GNOME Shell.

Lorsque cette extension est activée, le sélecteur d'espace de travail est développé lorsque vous avez défini un nombre fixe d'espaces de travail ou que vous utilisez plusieurs des espaces de travail dynamiques.