equal
deleted
inserted
replaced
7 || |
7 || |
8 |
8 |
9 shortdesc > Jump to previous page |
9 shortdesc > Jump to previous page |
10 } |
10 } |
11 |
11 |
12 // TODO: use es6 |
|
13 widget_class("Back") |
12 widget_class("Back") |
14 || |
13 || |
15 on_click(evt) { |
14 on_click(evt) { |
16 if(jump_history.length > 1){ |
15 if(jump_history.length > 1){ |
17 let page_name, index; |
16 let page_name, index; |
22 } while(page_name == "ScreenSaver") // never go back to ScreenSaver |
21 } while(page_name == "ScreenSaver") // never go back to ScreenSaver |
23 switch_page(page_name, index); |
22 switch_page(page_name, index); |
24 } |
23 } |
25 } |
24 } |
26 init() { |
25 init() { |
27 this.element.setAttribute("onclick", "hmi_widgets['"+this.element_id+"'].on_click(evt)"); |
26 this.element.onclick = this.on_click.bind(this); |
28 } |
27 } |
29 || |
28 || |