message: feat: update go-to state on mouse moves
diff: @@ -122,7 +122,9 @@ function InteractiveCodeTag({pos, tag: ct, fmt}: InteractiveTagProps<SubexprInfo
  }, [fetchGoToLoc])
  return (
  - <WithTooltipOnHover mkTooltipContent={mkTooltip} onClick={(e, next) => {
  + <WithTooltipOnHover
  + mkTooltipContent={mkTooltip}
  + onClick={(e, next) => {
  // On ctrl-click, if location is known, go to it in the editor
  if (e.ctrlKey) void fetchGoToLoc().then(loc => {
  if (loc === undefined) return
  @@ -130,7 +132,18 @@ function InteractiveCodeTag({pos, tag: ct, fmt}: InteractiveTagProps<SubexprInfo
  void ec.revealPosition({ uri: loc.uri, ...loc.range.start })
  })
  if (!e.ctrlKey) next(e)
  - }}>
  + }}
  + onPointerMove={e => {
  + if (e.ctrlKey)
  + setHoverState(st => {
  + const newst = st === 'over' ? 'ctrlOver' : st
  + if (newst === 'ctrlOver') void fetchGoToLoc()
  + return newst
  + })
  + else
  + setHoverState(st => st === 'ctrlOver' ? 'over' : st)
  + }}
  + >
  <DetectHoverSpan
  setHoverState={st => {
  // On ctrl-hover, fetch the go-to location
  