diff options
author | Pascal Kuthe | 2023-03-06 15:25:41 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-03-27 00:54:40 +0000 |
commit | 72b93116784ec944f49c7f6a335b0aa663f1430e (patch) | |
tree | cee2a5ceac008625f5bd749eb634fbbdaf89d951 /runtime/queries/jsdoc | |
parent | 0ab96cc2576cf8d78d54bcc42e0e7f5285321030 (diff) |
fix view anchors not at start of a visual line
The top of a view is marked by a char idx anchor. That char idx is
usually the first character of the visual line it's on. We use a char
index instead of a line index because the view may start in the middle
of a line with soft wrapping. However, it's possible to temporarily
endup in a state where this anchor is not the first character of the
first visual line. This is pretty rare because edits usually happen
inside/after the view. In most cases we handle this case correctly.
However, if the cursor is before the anchor (but still in view)
there can be crashes or visual artifacts. This is caused by the fact
that visual_offset_from_anchor (and the positioning code in view.rs)
incorrectly assumed that the (cursor) position is always after the
view anchor if the cursor is in view. But if the anchor is not the
first character of the first visual line this is not the case anymore.
In that case crashes and visual artifacts are possible. This commit
fixes that problem by changing `visual_offset_from_anchor` (and
callsites) to properly consider that case.
Diffstat (limited to 'runtime/queries/jsdoc')
0 files changed, 0 insertions, 0 deletions