Closed Hopding closed 7 years ago
This PR causes text selections to be highlighted. This is branched off of FixHighlighting454, so #455 should be merged before this PR.
FixHighlighting454
Fixes #408. Without this change, users cannot see the text they have highlighted if it is highlighted via a filter.
Description
This PR causes text selections to be highlighted. This is branched off of
FixHighlighting454
, so #455 should be merged before this PR.Motivation and Context
Fixes #408. Without this change, users cannot see the text they have highlighted if it is highlighted via a filter.
Checklist:
Screenshots (if appropriate):