> Well, then use indexOf() to get the offset and remove() to remove the element. >
Yes, that's what I'm doing. I just thought that I maybe overlook such function in the standard library. So there is none. No problem, I'll keep using my own. Still think it would be useful to add it, because I believe such operation is quite common. thanks, adam.