refresh

repaints the widgets after changes in the configuration

void refresh();

Example

$$("b1").config.label = ()=>"2018";
$$("b1").refresh();

Back to top