Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Highlight the entire covering_element's text range
Instead of only highlighting the requested text_range we want to highlight the text range of the covering element which might be greater than the given text range. This is to prevent us from breaking the assumption that the highlighted elements in a node are always contained inside the root text range.
- Loading branch information