add workaround for #1147;

certain browser-extensions can erroneously unmap modals
This commit is contained in:
ed 2026-01-01 13:38:05 +01:00
parent d1ddcb19f5
commit 8551472bf0

View file

@ -1848,7 +1848,13 @@ var modal = (function () {
document.removeEventListener('selectionchange', onselch);
document.removeEventListener('focus', onfocus);
document.removeEventListener('keydown', onkey);
try {
o.parentNode.removeChild(o);
}
catch (ex) {
if (r.busy)
alert('WARNING: you have a browser-extension which is causing problems');
}
r.busy = false;
setTimeout(next, 50);
};