On Mar 6, 2012, at 4:36 PM, Andrew Shadura wrote: > Also, it'd be good to have ability to edit time-related options with > the same precision as they're specified in the configuration file.
Believe it or not, it used to do that, but the Gnome UI team decided "people should not be allowed to edit seconds in the UI". I didn't feel like arguing with them any more so I caved. (This was back when xscreensaver-demo was still the Gnome-official screen saver interface.) Anyway, it's hard to fix so I'm not going to. Sorry. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

