At domcoords.js the
let child = node.childNodes[offset]
selects the wrong childNode, when doing the following:
- Insert HR
- Add text or other nodes below HR
- Select HR
- Output the following code:
When I do this in for example the updateMenu function in menubar.js, the coords of the child after the HR are returned and not of the HR itself.