feat(pdf): fix formatting of copied text (#4564)

* chore(pdf): update pdfjs to 2.13.216

Also reapplied pdf_viewer fix from d3b4773.

* fix(pdf): formatting of copied text

* chore(pdf): update viewer CSS to 2.13.216

* chore(pdf): remove deprecated option

* chore(pdf): update pdfjs to 2.14.305

* doc(pdf): document some functions

* fix(pdf): highlight positioning
This commit is contained in:
Wojciech Nawrocki
2022-07-12 06:30:50 -04:00
committed by GitHub
parent 6f395175d5
commit 2390846531
7 changed files with 60999 additions and 49004 deletions

File diff suppressed because one or more lines are too long