Matthias Clasen <mclasen at redhat.com> writes:
> Which version of gnome-shell is that ?
2.91.6-6.fc15, the latest one available in rawhide
--
Massimo Gengarelli <gengarel at cs.unibo.it>
We are Microsoft. What you're experiencing is not a problem;
it is an undocumented feature.