equal
deleted
inserted
replaced
426 document.body.addEventListener('contextmenu', e => { |
426 document.body.addEventListener('contextmenu', e => { |
427 toggleFullscreen(); |
427 toggleFullscreen(); |
428 e.preventDefault(); |
428 e.preventDefault(); |
429 }); |
429 }); |
430 |
430 |
|
431 var screensaver_timer = null; |
|
432 function reset_screensaver_timer() { |
|
433 if(screensaver_timer){ |
|
434 window.clearTimeout(screensaver_timer); |
|
435 } |
|
436 screensaver_timer = window.setTimeout(() => { |
|
437 switch_page("ScreenSaver"); |
|
438 screensaver_timer = null; |
|
439 }, screensaver_delay*1000); |
|
440 } |
|
441 if(screensaver_delay) |
|
442 document.body.addEventListener('pointerdown', reset_screensaver_timer); |
|
443 |
431 function detach_detachables() { |
444 function detach_detachables() { |
432 |
445 |
433 for(let eltid in detachable_elements){ |
446 for(let eltid in detachable_elements){ |
434 let [element,parent] = detachable_elements[eltid]; |
447 let [element,parent] = detachable_elements[eltid]; |
435 parent.removeChild(element); |
448 parent.removeChild(element); |
495 apply_hmi_value(page_node_local_index, page_node); |
508 apply_hmi_value(page_node_local_index, page_node); |
496 |
509 |
497 jumps_need_update = true; |
510 jumps_need_update = true; |
498 |
511 |
499 requestHMIAnimation(); |
512 requestHMIAnimation(); |
500 jump_history.push([page_name, page_index]); |
513 let [last_page_name, last_page_index] = jump_history[jump_history.length-1]; |
501 if(jump_history.length > 42) |
514 if(last_page_name != page_name || last_page_index != page_index){ |
502 jump_history.shift(); |
515 jump_history.push([page_name, page_index]); |
|
516 if(jump_history.length > 42) |
|
517 jump_history.shift(); |
|
518 } |
503 |
519 |
504 apply_hmi_value(current_page_var_index, page_index == undefined |
520 apply_hmi_value(current_page_var_index, page_index == undefined |
505 ? page_name |
521 ? page_name |
506 : page_name + "@" + hmitree_paths[page_index]); |
522 : page_name + "@" + hmitree_paths[page_index]); |
507 |
523 |
583 detach_detachables(); |
599 detach_detachables(); |
584 |
600 |
585 // show main page |
601 // show main page |
586 switch_page(default_page); |
602 switch_page(default_page); |
587 |
603 |
|
604 // initialize screensaver |
|
605 reset_screensaver_timer(); |
|
606 |
588 var reconnect_delay = 0; |
607 var reconnect_delay = 0; |
589 var periodic_reconnect_timer; |
608 var periodic_reconnect_timer; |
590 |
609 |
591 // Once connection established |
610 // Once connection established |
592 function ws_onopen(evt) { |
611 function ws_onopen(evt) { |