3 template "widget[@type='Back']", mode="widget_defs" {

     3 template "widget[@type='Back']", mode="widget_class"

     4     param "hmi_element";

     4     ||

     5 

     5     class BackWidget extends Widget{

     6     |     on_click: function(evt) {

     6         on_click(evt) {

     7     |         if(jump_history.length > 1){

     7             if(jump_history.length > 1){

     8     |            jump_history.pop();

     8                jump_history.pop();

     9     |            let [page_name, index] = jump_history.pop();

     9                let [page_name, index] = jump_history.pop();

    10     |            switch_page(page_name, index);

    10                switch_page(page_name, index);

    11     |         }

    11             }

    12     |     },

    12         }

    13     |     init: function() {

    13         init() {

    14     |         this.element.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_click(evt)");

    14             this.element.setAttribute("onclick", "hmi_widgets['"+this.element_id+"'].on_click(evt)");

    15     |     },

    15         }

    16 }

    16     }

    17 

    17     ||