Redraw highlights after modifying in-browser DOM

Fix for #4692. Super simple fix. @dangoor or @njx.