Quoting althaser <althaser at gmail.com>: > Could you please still reproduce this issue with newer gnome-shell version > like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? The bug is still present in the current stable version. I have yet to test with unstable/testing.