repaints the widgets after changes in the configuration
$$("b1").config.label = ()=>"2018"; $$("b1").refresh();