9958ffdf68
Highlight double-clicked word when syncing position from PDF to code GitOrigin-RevId: da120af9dec203346cb85c6aa7e403f4e585c748