Jeremy Ruston c409d8414e Fix bug exposed by #9030 ... I think the bug was originally introduced in a9f9ffd409		2025-04-14 22:17:18 +01:00
..
dynannotate.js
element-spotlight.js
legacy-selection-tracker.js
selection-tracker.js
startup.js	Fix bug exposed by #9030	2025-04-14 22:17:18 +01:00
textmap.js