B:BD[
5.269] → [
6.985:1017]
∅:D[
5.295] → [
4.1592:1624]
∅:D[
6.1017] → [
4.1592:1624]
∅:D[
7.1102] → [
4.1592:1624]
B:BD[
4.1592] → [
4.1592:1624]
∅:D[
2.115] → [
4.1687:1726]
B:BD[
4.1687] → [
4.1687:1726]
B:BD[
4.1726] → [
2.116:248]
∅:D[
8.239] → [
4.2236:2245]
∅:D[
2.248] → [
4.2236:2245]
B:BD[
4.2236] → [
4.2236:2245]
B:BD[
4.2268] → [
3.139:203]
∅:D[
3.203] → [
4.2288:2296]
B:BD[
4.2288] → [
4.2288:2296]
local line = State.lines[i]
if line.mode == 'text' then
table.insert(event.lines, {mode='text', data=line.data}) -- I've forgotten: should we deepcopy(line.data)?
elseif line.mode == 'drawing' then
table.insert(event.lines, {mode='drawing', h=line.h, points=deepcopy(line.points), shapes=deepcopy(line.shapes), pending={}})
else
assert(false, ('unknown line mode %s'):format(line.mode))
end
table.insert(event.lines, deepcopy(State.lines[i]))