From e7ebe4e4db61ab74c0104936ade0b875bf72d4b5 Mon Sep 17 00:00:00 2001 From: Steven Maude Date: Mon, 27 Nov 2023 15:02:38 +0000 Subject: [PATCH] Override Poppler column spacing The default value was changed in Poppler commit f20d9e5f739b7c8dce74ebc60a6dd1e06106c12e. It is overridable, so we should change it back to what it was for now, to keep outputs unchanged. --- src/main.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main.cpp b/src/main.cpp index a8e5928..0d110c5 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -320,6 +320,9 @@ typedef std::unique_ptr TextPagePtr; TextPagePtr page_to_text_page(Page *page) { auto dev = std::make_unique(nullptr, true, 0, false, false); + // This value was changed in Poppler commit f20d9e5f739b7c8dce74ebc60a6dd1e06106c12e + // We retain the original value to keep outputs unchanged for now. + dev->setMinColSpacing1(0.3); auto gfx = std::unique_ptr( page->createGfx(dev.get(), 72.0, 72.0, 0, false, /* useMediaBox */