Merge pull request mozilla#18306 from calixteman/bug1903731

Always use DW if it's a number for the font default width (bug 1903731)
nicolo-ribaudo · Jun 20, 2024 · a081dd2 · a081dd2
2 parents 1cf19e9 + 8c9a665
commit a081dd2
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/src/core/evaluator.js b/src/core/evaluator.js
@@ -3905,7 +3905,7 @@ class PartialEvaluator {
     let defaultVMetrics;
     if (properties.composite) {
       const dw = dict.get("DW");
-      defaultWidth = Number.isInteger(dw) ? dw : 1000;
+      defaultWidth = typeof dw === "number" ? Math.ceil(dw) : 1000;
 
       const widths = dict.get("W");
       if (Array.isArray(widths)) {

diff --git a/test/pdfs/bug1903731.pdf.link b/test/pdfs/bug1903731.pdf.link
@@ -0,0 +1,2 @@
+https://bugzilla.mozilla.org/attachment.cgi?id=9408642
+
diff --git a/test/test_manifest.json b/test/test_manifest.json
@@ -10097,5 +10097,13 @@
     "md5": "73922be020083d54747af18a4d5e0768",
     "rounds": 1,
     "type": "eq"
+  },
+  {
+    "id": "bug1903731",
+    "file": "pdfs/bug1903731.pdf",
+    "md5": "c90d1b03a62d0221e5f5609e3db16a38",
+    "rounds": 1,
+    "link": true,
+    "type": "eq"
   }
 ]