wimp/properties_box

A menu of sub-widget controls.

TODO