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

Reply via email to