PS: Andreas, I suppose you tested the RandR-induced restart with success, right? :-)
It works for me here, but I was wondering if Restart() is a bit overkill for this. It should be possible to restart only the screen setup and avoid all the overhead of the full Restart(). However, I don't know if it's possible to do that yet, but it would be a good cleanup... -- To unsubscribe, send mail to [email protected].
