equal
deleted
inserted
replaced
365 var current_visible_page; |
365 var current_visible_page; |
366 var current_subscribed_page; |
366 var current_subscribed_page; |
367 var current_page_index; |
367 var current_page_index; |
368 var page_node_local_index = hmi_local_index("page_node"); |
368 var page_node_local_index = hmi_local_index("page_node"); |
369 |
369 |
|
370 function toggleFullscreen() { |
|
371 let elem = document.documentElement; |
|
372 |
|
373 if (!document.fullscreenElement) { |
|
374 elem.requestFullscreen().catch(err => { |
|
375 console.log("Error attempting to enable full-screen mode: "+err.message+" ("+err.name+")"); |
|
376 }); |
|
377 } else { |
|
378 document.exitFullscreen(); |
|
379 } |
|
380 } |
|
381 |
370 function prepare_svg() { |
382 function prepare_svg() { |
371 // prevents context menu from appearing on right click and long touch |
383 // prevents context menu from appearing on right click and long touch |
372 document.body.addEventListener('contextmenu', e => { |
384 document.body.addEventListener('contextmenu', e => { |
|
385 toggleFullscreen(); |
373 e.preventDefault(); |
386 e.preventDefault(); |
374 }); |
387 }); |
375 |
388 |
376 for(let eltid in detachable_elements){ |
389 for(let eltid in detachable_elements){ |
377 let [element,parent] = detachable_elements[eltid]; |
390 let [element,parent] = detachable_elements[eltid]; |