Summary: Remove str.string.abbrev()
--- Comment #0 from bearophile_h...@eml.cc 2010-09-10 12:17:33 PDT ---
It's good to have minimal APIs, because this reduces the time to learn it, and
reduces the time to find the right function/method to use in code.
So I suggest to remove the str.string.abbrev() function. Its purpose is not
common enough in programs, and its name is not nice.
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------