Comment 4 for bug 231397

Revision history for this message
Tony Houghton (h-realh) wrote :

Feel free to close it. As there is a workaround (running gnome-screensaver) it isn't really a problem, and even if I still want it changed it would be better to ask upstream.