Package: gnome-shell Version: 3.12.2-3 Followup-For: Bug #761208 I have tested it now with lightdm and gnome-screensaver.
I have to run gnome-screensaver manually. After that, super+l (the default lock screen hotkey) locks the screen, though it didn't work well the first time. Putting my system in standby and resuming it does not result in it being locked. So falling back to gnome-screensaver does not seem to be a good idea. Michael -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org