[Bug 746672] New: Gnome screensaver timing options are insufficient