@aperalesf bueno, esto son extensiones de Gnome que hacen más o mismo que los gestores de ventanas raros. Aunque yo soy friqui, configurar los gestores de ventanas más raros es un follón; con extensiones de Gnome (o, anteriormente, usando Gnome pero sólo cambiando el window manager- que lamentablemente con Wayland ya no es opción)... pues en vez de montarlo todo desde 0, sólo tienes que aprender un par de cosas.

Pero aunque es más fácil, sigue siendo un poco follón.