Wojciech Nawrocki 2390846531 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

2022-07-12 18:30:50 +08:00

..

cmaps

chore(pdf): add offline resources

2021-08-06 16:37:52 +08:00

pdf_viewer.js

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

2022-07-12 18:30:50 +08:00

pdf.js

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

2022-07-12 18:30:50 +08:00

pdf.worker.js

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

2022-07-12 18:30:50 +08:00

pdf.worker.min.js

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

2022-07-12 18:30:50 +08:00