Avoids assigning tags to offsets inside folded regions until you unfold them and refine the query.
Since the user may fold a region that already has tags, the PR also:
Ignores tags inside folded regions when typing
Skips rendering tag markers inside folded regions, otherwise it would show tags that cannot be typed
It keeps the search highlights at folded regions so you know they're there, even if it looks a little weird.
I didn't see a good way to consolidate the logic for in view and not in folded region, since typing uses Tag / Tagger and calls editor.getView() without any caching, and rendering uses TagMarker with an offset cache to determine what is in view.
Closes #453
Avoids assigning tags to offsets inside folded regions until you unfold them and refine the query.
Since the user may fold a region that already has tags, the PR also:
It keeps the search highlights at folded regions so you know they're there, even if it looks a little weird.
I didn't see a good way to consolidate the logic for
in view and not in folded region
, since typing usesTag
/Tagger
and callseditor.getView()
without any caching, and rendering usesTagMarker
with an offset cache to determine what is in view.