svghmi/svghmi.js
changeset 3664 7e8db0b44e42
parent 3661 62860665fa94
child 3680 20f9f0c36ad6
equal deleted inserted replaced
3663:31aaec736e4d 3664:7e8db0b44e42
   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;
   431 if(screensaver_delay){
   432 function reset_screensaver_timer() {
   432     var screensaver_timer = null;
   433     if(screensaver_timer){
   433     function reset_screensaver_timer() {
   434         window.clearTimeout(screensaver_timer);
   434         if(screensaver_timer){
   435     }
   435             window.clearTimeout(screensaver_timer);
   436     screensaver_timer = window.setTimeout(() => {
   436         }
   437         switch_page("ScreenSaver");
   437         screensaver_timer = window.setTimeout(() => {
   438         screensaver_timer = null;
   438             switch_page("ScreenSaver");
   439     }, screensaver_delay*1000);
   439             screensaver_timer = null;
   440 }
   440         }, screensaver_delay*1000);
   441 if(screensaver_delay)
   441     }
   442     document.body.addEventListener('pointerdown', reset_screensaver_timer);
   442     document.body.addEventListener('pointerdown', reset_screensaver_timer);
       
   443     // initialize screensaver
       
   444     reset_screensaver_timer();
       
   445 }
       
   446 
   443 
   447 
   444 function detach_detachables() {
   448 function detach_detachables() {
   445 
   449 
   446     for(let eltid in detachable_elements){
   450     for(let eltid in detachable_elements){
   447         let [element,parent] = detachable_elements[eltid];
   451         let [element,parent] = detachable_elements[eltid];
   599 detach_detachables();
   603 detach_detachables();
   600 
   604 
   601 // show main page
   605 // show main page
   602 switch_page(default_page);
   606 switch_page(default_page);
   603 
   607 
   604 // initialize screensaver
       
   605 reset_screensaver_timer();
       
   606 
       
   607 var reconnect_delay = 0;
   608 var reconnect_delay = 0;
   608 var periodic_reconnect_timer;
   609 var periodic_reconnect_timer;
   609 
   610 
   610 // Once connection established
   611 // Once connection established
   611 function ws_onopen(evt) {
   612 function ws_onopen(evt) {