Nikita, perhaps you would also like to try fix this bug? its almost certainly a bug in the gnome-shell javascript..
Nikita, perhaps you would also like to try fix this bug? its almost certainly a bug in the gnome-shell javascript..