Data sampler: changed controls for setting random seed
gui.widgetBox now adds space if it has a frame; renamed radioButtonsInBox to radioButtons (kept the old name as an alias)
Refactored Data sampler widget