respect line annotations in char_idx_at_visual_row_offset

char_idx_at_visual_row_offset asssumed that a single line/block break
always corresponded to a vertical offset of 1. However conceal can hide
the line break (in which case the certical offset would be 0) and line
annotations (or softwrapped inlay hints at the end of the line) can insert
addtional vertical lines.

To correctly account for these cases we simply compute the visual offset
of the start of the next block from the previous block instead of the
visual offset of the block end. This means that the line breaks at the
end of the block (however many there may be) are automatically included
and we don't need to manually add 1 to the `row_offset` anymore.
pull/6188/merge
Pascal Kuthe 2 years ago committed by Blaž Hrastnik
parent 9fac574178
commit 2af14a24ab

@ -317,10 +317,11 @@ pub fn char_idx_at_visual_offset<'a>(
text_fmt: &TextFormat, text_fmt: &TextFormat,
annotations: &TextAnnotations, annotations: &TextAnnotations,
) -> (usize, usize) { ) -> (usize, usize) {
let mut pos = anchor;
// convert row relative to visual line containing anchor to row relative to a block containing anchor (anchor may change) // convert row relative to visual line containing anchor to row relative to a block containing anchor (anchor may change)
loop { loop {
let (visual_pos_in_block, block_char_offset) = let (visual_pos_in_block, block_char_offset) =
visual_offset_from_block(text, anchor, anchor, text_fmt, annotations); visual_offset_from_block(text, anchor, pos, text_fmt, annotations);
row_offset += visual_pos_in_block.row as isize; row_offset += visual_pos_in_block.row as isize;
anchor = block_char_offset; anchor = block_char_offset;
if row_offset >= 0 { if row_offset >= 0 {
@ -332,10 +333,10 @@ pub fn char_idx_at_visual_offset<'a>(
break; break;
} }
// the row_offset is negative so we need to look at the previous block // the row_offset is negative so we need to look at the previous block
// set the anchor to the last char before the current block // set the anchor to the last char before the current block so that we can compute
// this char index is also always a line earlier so increase the row_offset by 1 // the distance of this block from the start of the previous block
pos = anchor;
anchor -= 1; anchor -= 1;
row_offset += 1;
} }
char_idx_at_visual_block_offset( char_idx_at_visual_block_offset(

Loading…
Cancel
Save