replace 'PrintSpace' with 'Border'

pull/38/head
Clemens Neudecker 4 years ago committed by GitHub
parent 36adbe29d8
commit e4798c6811
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -83,9 +83,9 @@ class OcrdSbbTextlineDetectorRecognize(Processor):
page = pcgts.get_Page() page = pcgts.get_Page()
# Merge results → PAGE file # Merge results → PAGE file
if page.get_PrintSpace(): if page.get_Border():
log.warning("Page already contained a printspace") log.warning("Page already contained a border")
page.set_PrintSpace(tmp_page.get_PrintSpace()) page.set_Border(tmp_page.get_Border())
if page.get_ReadingOrder(): if page.get_ReadingOrder():
log.warning("Page already contained a reading order") log.warning("Page already contained a reading order")
page.set_ReadingOrder(tmp_page.get_ReadingOrder()) page.set_ReadingOrder(tmp_page.get_ReadingOrder())

Loading…
Cancel
Save