Edouard@2902: // widget_back.ysl2 Edouard@2779: edouard@2958: template "widget[@type='Back']", mode="widget_class" edouard@2958: || edouard@2958: class BackWidget extends Widget{ edouard@2958: on_click(evt) { edouard@2958: if(jump_history.length > 1){ edouard@2958: jump_history.pop(); edouard@2958: let [page_name, index] = jump_history.pop(); edouard@2958: switch_page(page_name, index); edouard@2958: } edouard@2958: } edouard@2958: init() { edouard@2958: this.element.setAttribute("onclick", "hmi_widgets['"+this.element_id+"'].on_click(evt)"); edouard@2958: } edouard@2958: } edouard@2958: ||