I can confirm this bug still exists, at least with the gnome-shell found from the rictoz1 testing ppa. Alt + F2 -> restart fixes the problem, but has anyone found a way to start gnome-shell up without having to do this?
I can confirm this bug still exists, at least with the gnome-shell found from the rictoz1 testing ppa. Alt + F2 -> restart fixes the problem, but has anyone found a way to start gnome-shell up without having to do this?