Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Search result highlights not updated when text changes #401
Observed: the search result highlights are no longer at the correct locations.
Expected: the search result highlights should either show up at the correct locations, or be cleared whenever the document text changes