From b6e5cd120f399835e29a2c22c81a8a20a9a5d3e4 Mon Sep 17 00:00:00 2001
From: hius07 <62179190+hius07@users.noreply.github.com>
Date: Sat, 31 May 2025 11:22:54 +0300
Subject: [PATCH] djvudocument: add getTextBoxes() (#13897)

Crash reported in #13895.
Also crashed when changing highlight boundaries.
---
 frontend/document/djvudocument.lua | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/frontend/document/djvudocument.lua b/frontend/document/djvudocument.lua
index ffb08143f..dda72e572 100644
--- a/frontend/document/djvudocument.lua
+++ b/frontend/document/djvudocument.lua
@@ -60,6 +60,10 @@ function DjvuDocument:getPageTextBoxes(pageno)
     return self._document:getPageText(pageno)
 end
 
+function DjvuDocument:getTextBoxes(pageno)
+    return self.koptinterface:getTextBoxes(self, pageno)
+end
+
 function DjvuDocument:getPanelFromPage(pageno, pos)
     return self.koptinterface:getPanelFromPage(self, pageno, pos)
 end