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

Merge pull request #12726 from brendandahl/standard-fonts

Browse source 
[api-minor] Include and use the 14 standard font files.
This commit is contained in:
Jonas Jenwald 2021-06-08 10:09:40 +02:00 • committed by GitHub
commit e7dc822e74
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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,