diff options
Diffstat (limited to 'media-gfx/wkhtmltopdf/files/wkhtmltopdf-0.12.4-build.patch')
| -rw-r--r-- | media-gfx/wkhtmltopdf/files/wkhtmltopdf-0.12.4-build.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/media-gfx/wkhtmltopdf/files/wkhtmltopdf-0.12.4-build.patch b/media-gfx/wkhtmltopdf/files/wkhtmltopdf-0.12.4-build.patch deleted file mode 100644 index 0148f3b42948..000000000000 --- a/media-gfx/wkhtmltopdf/files/wkhtmltopdf-0.12.4-build.patch +++ /dev/null @@ -1,21 +0,0 @@ -Fix build without patched Qt - -This was broken since 96b03ae. - -diff --git a/src/lib/multipageloader.cc b/src/lib/multipageloader.cc -index 93dece8..456a857 100644 ---- a/src/lib/multipageloader.cc -+++ b/src/lib/multipageloader.cc -@@ -213,10 +213,11 @@ ResourceObject::ResourceObject(MultiPageLoaderPrivate & mpl, const QUrl & u, con - } - - webPage.setNetworkAccessManager(&networkAccessManager); -- -+#ifdef __EXTENSIVE_WKHTMLTOPDF_QT_HACK__ - double devicePixelRatio = multiPageLoader.dpi / 96.; // The used version of WebKit always renders at 96 DPI when no zoom is applied. It does not fully support a device pixel ratio != 1 natively. - webPage.mainFrame()->setZoomFactor(devicePixelRatio * settings.zoomFactor); // Zoom in the page to achieve a higher DPI. - webPage.setDevicePixelRatio(devicePixelRatio); // Fix CSS media queries (does not affect anything else). -+#endif - } - - /*! |