WidgetDemo: add a button parameter

It doesn't actually work at a moment due to a bug in the AWT and Swing
button implementations, which has been fixed but not yet released.