SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
// widget_back.ysl2
template "widget[@type='Back']", mode="widget_defs" {
param "hmi_element";
| on_click: function(evt) {
| console.log("Back !");
| if(jump_history.length > 1){
| jump_history.pop();
| let [page_name, index] = jump_history.pop();
| switch_page(page_name, index);
| }
| },
| init: function() {
| this.element.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_click(evt)");
| },
}