Hey Daniel, Could you please still reproduce this issue with newer gnome-shell version like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?
It is not needed here with 3.8.4-5+b1. thanks regards althaser
Hey Daniel, Could you please still reproduce this issue with newer gnome-shell version like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?
It is not needed here with 3.8.4-5+b1. thanks regards althaser