Actually, the new gnome-screensaver seems to work for me after rebooting (hadn't rebooted before, sorry). Thanks Marc!
Actually, the new gnome-screensaver seems to work for me after
rebooting (hadn't rebooted before, sorry). Thanks Marc!