|
|
@ -394,10 +394,10 @@ class Line extends Container<Leaf?> { |
|
|
|
var node = data.node as Leaf?; |
|
|
|
var node = data.node as Leaf?; |
|
|
|
if (node != null) { |
|
|
|
if (node != null) { |
|
|
|
var pos = node.length - data.offset; |
|
|
|
var pos = node.length - data.offset; |
|
|
|
result.add(Tuple2(pos + beg, node.style)); |
|
|
|
result.add(Tuple2(beg, node.style)); |
|
|
|
while (!node!.isLast && pos < local) { |
|
|
|
while (!node!.isLast && pos < local) { |
|
|
|
node = node.next as Leaf; |
|
|
|
node = node.next as Leaf; |
|
|
|
result.add(Tuple2(node.length, node.style)); |
|
|
|
result.add(Tuple2(pos + beg, node.style)); |
|
|
|
pos += node.length; |
|
|
|
pos += node.length; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|