In WIDGET, get the value of PROPERTY. The value could either be specified when the widget was created, or later with `widget-put'. (fn WIDGET PROPERTY)