public event resized as ResizeEvent
Resize event emitted when this widget's computed size changes.
widget.resized += lambda(e as ResizeEvent): print(e.width)