This change builds a map from a Typeset::Marker to the corresponding parse node. The map is built into the doc tree similar to formatting info, which is a kludge, but adequate to move forward. This addresses the bug where parts of scripted identifiers would not register, and enables hover tips for arbitrary parse nodes.
This change builds a map from a Typeset::Marker to the corresponding parse node. The map is built into the doc tree similar to formatting info, which is a kludge, but adequate to move forward. This addresses the bug where parts of scripted identifiers would not register, and enables hover tips for arbitrary parse nodes.