All your posts pretty much confirmed my own thoughts on this subject. Every option requires a specific action from the user, and as Bjoern points out, it would differ from what everybody is used to. I think there's no trivial and reliable way to do this, so I can better leave it the way it is (at least for now).
Everybody thanks for your insights, Pieter -- http://mail.python.org/mailman/listinfo/python-list
