Widgets: new “promptVector” dialog box feature

lets you edit a Point object (numerical x and y), such as dimensions,
positions, min/max etc.