@agent-link/server 0.1.130 → 0.1.131
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/web/app.js +0 -22
- package/web/style.css +0 -1
package/package.json
CHANGED
package/web/app.js
CHANGED
|
@@ -300,24 +300,6 @@ const App = {
|
|
|
300
300
|
let _resizeHandler = () => { isMobile.value = window.innerWidth <= 768; };
|
|
301
301
|
window.addEventListener('resize', _resizeHandler);
|
|
302
302
|
|
|
303
|
-
// ── iOS Safari keyboard fix ──
|
|
304
|
-
// Safari doesn't reliably support interactive-widget=resizes-content,
|
|
305
|
-
// so we use visualViewport API to shrink layout when the keyboard opens.
|
|
306
|
-
let _vvResizeHandler = null;
|
|
307
|
-
let _vvScrollHandler = null;
|
|
308
|
-
if (window.visualViewport) {
|
|
309
|
-
const vv = window.visualViewport;
|
|
310
|
-
const updateViewportHeight = () => {
|
|
311
|
-
// vv.height excludes the virtual keyboard; use it to constrain the layout
|
|
312
|
-
document.documentElement.style.height = vv.height + 'px';
|
|
313
|
-
};
|
|
314
|
-
_vvResizeHandler = updateViewportHeight;
|
|
315
|
-
_vvScrollHandler = updateViewportHeight;
|
|
316
|
-
vv.addEventListener('resize', _vvResizeHandler);
|
|
317
|
-
vv.addEventListener('scroll', _vvScrollHandler);
|
|
318
|
-
updateViewportHeight();
|
|
319
|
-
}
|
|
320
|
-
|
|
321
303
|
// Close workdir menu on outside click or Escape
|
|
322
304
|
let _workdirMenuClickHandler = (e) => {
|
|
323
305
|
if (!workdirMenuOpen.value) return;
|
|
@@ -475,10 +457,6 @@ const App = {
|
|
|
475
457
|
window.removeEventListener('resize', _resizeHandler);
|
|
476
458
|
document.removeEventListener('click', _workdirMenuClickHandler);
|
|
477
459
|
document.removeEventListener('keydown', _workdirMenuKeyHandler);
|
|
478
|
-
if (window.visualViewport) {
|
|
479
|
-
if (_vvResizeHandler) window.visualViewport.removeEventListener('resize', _vvResizeHandler);
|
|
480
|
-
if (_vvScrollHandler) window.visualViewport.removeEventListener('scroll', _vvScrollHandler);
|
|
481
|
-
}
|
|
482
460
|
});
|
|
483
461
|
|
|
484
462
|
return {
|