diff --git a/base b/base index 095b0281c..fae267c3b 160000 --- a/base +++ b/base @@ -1 +1 @@ -Subproject commit 095b0281ccfd77b38d6291827bf32a1d5237531e +Subproject commit fae267c3b98e4ba5f36eba40b9f5e21a12125ccf diff --git a/frontend/document/credocument.lua b/frontend/document/credocument.lua index 68fef05c3..3293fb9f5 100644 --- a/frontend/document/credocument.lua +++ b/frontend/document/credocument.lua @@ -1287,6 +1287,14 @@ function CreDocument:buildAlternativeToc() self._document:buildAlternativeToc() end +function CreDocument:buildSyntheticPageMapIfNoneDocumentProvided(chars_per_synthetic_page) + self._document:buildSyntheticPageMapIfNoneDocumentProvided(chars_per_synthetic_page or 1024) +end + +function CreDocument:isPageMapSynthetic() + return self._document:isPageMapSynthetic() +end + function CreDocument:hasPageMap() return self._document:hasPageMap() end