equal
deleted
inserted
replaced
2 |
2 |
3 template "widget[@type='Back']", mode="widget_defs" { |
3 template "widget[@type='Back']", mode="widget_defs" { |
4 param "hmi_element"; |
4 param "hmi_element"; |
5 |
5 |
6 | on_click: function(evt) { |
6 | on_click: function(evt) { |
7 | console.log("Back !"); |
|
8 | if(jump_history.length > 1){ |
7 | if(jump_history.length > 1){ |
9 | jump_history.pop(); |
8 | jump_history.pop(); |
10 | let [page_name, index] = jump_history.pop(); |
9 | let [page_name, index] = jump_history.pop(); |
11 | switch_page(page_name, index); |
10 | switch_page(page_name, index); |
12 | } |
11 | } |