David added the comment: I did that, and now all the options are gone. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue29014> _______________________________________