Okay, as of gnome-shell 3.5.92-0ubuntu1, a lid close locks the screen when the display manager is LightDM. But it still doesn’t when the display manager is GDM.
Okay, as of gnome-shell 3.5.92-0ubuntu1, a lid close locks the screen when the display manager is LightDM. But it still doesn’t when the display manager is GDM.