77
const count = buffer.readUInt32BE(b, offset); offset += 4;
78
for (let i = 0; i < count; i++) {
79
>
const selectionStartLineNumber = buffer.readUInt32BE(b, offset); offset += 4;
editStack.ts
80
>
const selectionStartColumn = buffer.readUInt32BE(b, offset); offset += 4;
81
>
const positionLineNumber = buffer.readUInt32BE(b, offset); offset += 4;
82
>
const positionColumn = buffer.readUInt32BE(b, offset); offset += 4;
83
>
dest.push(new Selection(selectionStartLineNumber, selectionStartColumn, positionLineNumber, positionColumn));
84
>
}
85
return offset;
86
}