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 #15298 from calixteman/ink_min_size

Browse source 
[Editor] Ensure an ink editor has the minimal required size after having been pasted
This commit is contained in:
calixteman 2022-08-10 10:27:37 +02:00 • committed by GitHub
commit cef2ac99e5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/display/editor/ink.js
View file

@ -1034,8 +1034,8 @@ class InkEditor extends AnnotationEditor {
}
const bbox = editor.#getBbox();
editor.#baseWidth = bbox[2] - bbox[0];
editor.#baseHeight = bbox[3] - bbox[1];
editor.#baseWidth = Math.max(RESIZER_SIZE, bbox[2] - bbox[0]);
editor.#baseHeight = Math.max(RESIZER_SIZE, bbox[3] - bbox[1]);
editor.#setScaleFactor(width, height);
return editor;