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