Tim Freund - 2007-07-03

Patch for trunk/plotkit/widgets.py