Johan> Is it actually worth the pain to remove the old names? Yes, at least in my opinion. From the Zen:
>>> import this The Zen of Python, by Tim Peters ... There should be one-- and preferably only one --obvious way to do it. ... The obvious way to make something into a string in Python is to call str(). Skip _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list