mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Include and use the 14 standard fonts files.

Browse source
This commit is contained in:
Brendan Dahl 2020-12-10 17:32:18 -08:00
parent 3456ed271b
commit 4c1dd47e65
36 changed files with 463 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

8
web/app_options.js
View file

@ -217,6 +217,14 @@ const defaultOptions = {
value: false,
kind: OptionKind.API,
},
standardFontDataUrl: {
/** @type {string} */
value:
typeof PDFJSDev === "undefined" || !PDFJSDev.test("PRODUCTION")
? "../external/standard_fonts/"
: "../web/standard_fonts/",
kind: OptionKind.API,
},
verbosity: {
/** @type {number} */
value: 1,