1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 15:18:08 +02:00

[Editor] Take into account the device pixel ratio when drawing an added image

Fixes #18626.
This commit is contained in:
Calixte Denizet 2024-09-15 20:40:01 +02:00
parent c72fb9b733
commit 46fac8b2c1
9 changed files with 164 additions and 100 deletions

View file

@ -50,6 +50,7 @@ import {
isDataScheme,
isPdfFile,
noContextMenu,
OutputScale,
PDFDateString,
PixelsPerInch,
RenderingCancelledException,
@ -93,6 +94,7 @@ const expectedAPI = Object.freeze({
noContextMenu,
normalizeUnicode,
OPS,
OutputScale,
PasswordResponses,
PDFDataRangeTransport,
PDFDateString,