()
| 1003 | } |
| 1004 | } |
| 1005 | }); |
| 1006 | // Keep the CSS overlay in sync when the user leaves OS fullscreen via Esc. |
| 1007 | document.addEventListener('fullscreenchange', () => { |
| 1008 | const obs = document.getElementById('observatory-frame'); |
| 1009 | if (obs && !document.fullscreenElement) obs.classList.remove('observatory-fullscreen'); |
| 1010 | }); |
| 1011 | } |
| 1012 | initObservatoryFullscreenBridge(); |
| 1013 | |
| 1014 | function showRusenseSubtab(name) { |
| 1015 | if (!RUSENSE_SUBTABS.includes(name)) name = 'dashboard'; |
| 1016 | _rusenseCurrent = name; |
no test coverage detected