mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Adjust page rotation labels in PDF reader

Browse source 
Fixes #2669
This commit is contained in:
Martynas Bagdonas 2022-07-01 16:32:23 +03:00 • committed by Dan Stillman
parent b9f4a7835a
commit ca3e048b78
2 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
chrome/content/zotero/xpcom/reader.js
View file

@ -702,9 +702,18 @@ class ReaderInstance {
popup.remove(); popup.remove();
}); });
let menuitem; let menuitem;
// Rotate 90 // Rotate Left
menuitem = this._window.document.createElement('menuitem'); menuitem = this._window.document.createElement('menuitem');
menuitem.setAttribute('label', Zotero.getString('pdfReader.rotate90')); menuitem.setAttribute('label', Zotero.getString('pdfReader.rotateLeft'));
menuitem.addEventListener('command', async () => {
this._postMessage({ action: 'reloading' });
await Zotero.PDFWorker.rotatePages(this._itemID, data.pageIndexes, 270, true);
await this.reload();
});
popup.appendChild(menuitem);
// Rotate Right
menuitem = this._window.document.createElement('menuitem');
menuitem.setAttribute('label', Zotero.getString('pdfReader.rotateRight'));
menuitem.addEventListener('command', async () => { menuitem.addEventListener('command', async () => {
this._postMessage({ action: 'reloading' }); this._postMessage({ action: 'reloading' });
await Zotero.PDFWorker.rotatePages(this._itemID, data.pageIndexes, 90, true); await Zotero.PDFWorker.rotatePages(this._itemID, data.pageIndexes, 90, true);
@ -720,15 +729,6 @@ class ReaderInstance {
await this.reload(); await this.reload();
}); });
popup.appendChild(menuitem); popup.appendChild(menuitem);
// Rotate 270
menuitem = this._window.document.createElement('menuitem');
menuitem.setAttribute('label', Zotero.getString('pdfReader.rotate270'));
menuitem.addEventListener('command', async () => {
this._postMessage({ action: 'reloading' });
await Zotero.PDFWorker.rotatePages(this._itemID, data.pageIndexes, 270, true);
await this.reload();
});
popup.appendChild(menuitem);
// Separator // Separator
popup.appendChild(this._window.document.createElement('menuseparator')); popup.appendChild(this._window.document.createElement('menuseparator'));
// Delete // Delete

4
chrome/locale/en-US/zotero/zotero.properties
View file

@ -1381,9 +1381,9 @@ pdfReader.promptTransferToPDF.text = Annotations will be transferred to the PDF
pdfReader.promptPasswordProtected = The operation is not supported for password-protected PDF files. pdfReader.promptPasswordProtected = The operation is not supported for password-protected PDF files.
pdfReader.promptDeletePages.title = Delete Pages pdfReader.promptDeletePages.title = Delete Pages
pdfReader.promptDeletePages.text = Are you sure you want to delete %1$S page from the PDF file?;Are you sure you want to delete %1$S pages from the PDF file? pdfReader.promptDeletePages.text = Are you sure you want to delete %1$S page from the PDF file?;Are you sure you want to delete %1$S pages from the PDF file?
pdfReader.rotate90 = Rotate 90° pdfReader.rotateLeft = Rotate Left
pdfReader.rotateRight = Rotate Right
pdfReader.rotate180 = Rotate 180° pdfReader.rotate180 = Rotate 180°
pdfReader.rotate270 = Rotate 270°
pdfReader.editPageNumber = Edit Page Number… pdfReader.editPageNumber = Edit Page Number…
pdfReader.editHighlightedText = Edit Highlighted Text pdfReader.editHighlightedText = Edit Highlighted Text
pdfReader.pageNumberPopupHeader = Change page number for: pdfReader.pageNumberPopupHeader = Change page number for: