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

Disable the editing-indicator, in the document title, during printing (bug 1790552, PR 15351 follow-up)

Browse source
This commit is contained in:
Jonas Jenwald 2022-09-13 10:57:10 +02:00
parent 493bb65005
commit 00aef590cf
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
web/app.js
View file

@ -797,7 +797,9 @@ const PDFViewerApplication = {
// Embedded PDF viewers should not be changing their parent page's title.
return;
}
document.title = `${this._hasAnnotationEditors ? "* " : ""}${title}`;
const editorIndicator =
this._hasAnnotationEditors && !this.pdfRenderingQueue.printing;
document.title = `${editorIndicator ? "* " : ""}${title}`;
},
get _docFilename() {
@ -1844,6 +1846,8 @@ const PDFViewerApplication = {
);
this.printService = printService;
this.forceRendering();
// Disable the editor-indicator during printing (fixes bug 1790552).
this.setTitle();
printService.layout();
@ -1874,6 +1878,8 @@ const PDFViewerApplication = {
this.pdfDocument?.annotationStorage.resetModified();
}
this.forceRendering();
// Re-enable the editor-indicator after printing (fixes bug 1790552).
this.setTitle();
},
rotatePages(delta) {