Edouard@2902: // widget_back.ysl2
Edouard@2779: 
edouard@3241: widget_desc("Back") {
edouard@3241:     longdesc
edouard@3241:     ||
edouard@3241:     Back widget brings focus back to previous page in history when clicked.
edouard@3241:     ||
edouard@3241: 
edouard@3241:     shortdesc > Jump to previous page
edouard@3241: }
edouard@3241: 
edouard@3241: // TODO: use es6
edouard@3232: widget_class("Back")
edouard@2958:     ||
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:     ||