Subject: Fixed in new gnome-shell version

From: Kai Lüke <[email-masked]>
Date: Tue, 09 Sep 2014 13:53:42 +0200

Hello,

at least for me this problem is fixed with the version available in
experimental (3.13.91-1) which might also need gnome-session and gdm3
from there.

(sudo apt -t experimental install gnome-shell gdm3 gnome-session
with /etc/apt/sources.list containing:
deb http://ftp.de.debian.org/debian experimental main contrib non-free
deb-src http://ftp.de.debian.org/debian experimental main contrib non-free

and doing sudo apt update before ;) )

Regards,
Kai