export function createPdfRangeProxy(range) {
return {
start: range.start,
end: range.end,
getText: function () {
return range.getText();
},
getHtml: function () {
return range.getHtml();
},
getBounding: function () {
return range.getBounding();
},
};
}