[copied over from Trac]
It would be great if every element had a unique id set, so that we could target them with custom
This could be based on the hash function that is already there.
Or, at the very least, a method could be there "getElementId()" which adds an id attribute if it isn't
Original issue: http://code.google.com/p/pyjamas/issues/detail?id=33 (March 20, 2007 07:44:29)
#683 - utf8 bug
doesn't getID/setID (defined in Widget.py) do what is requested here?