On Thu, 2014-03-20 at 19:40 +0000, althaser wrote: > Hey Brent, > > > this is an old bug report. > > > Could you please still reproduce this issue with newer gnome-shell > version like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? > > > thanks > regards > althaser The bug must have been fixed with subsequent gnome-shell versions. Brent