PDF reader: Page label popup tweaks (#2267)

- Change text of context menu option
- Add header line above radio boxes

chrome/content/zotero/xpcom/reader.js

@@ -489,9 +489,9 @@ class ReaderInstance {
 		// Separator
 		popup.appendChild(this._window.document.createElement('menuseparator'));
 		// Change page number
-		if (data.enableChangePageNumber) {
+		if (data.enableEditPageNumber) {
 			menuitem = this._window.document.createElement('menuitem');
-			menuitem.setAttribute('label', Zotero.getString('pdfReader.changePageNumber'));
+			menuitem.setAttribute('label', Zotero.getString('pdfReader.editPageNumber'));
 			menuitem.setAttribute('disabled', data.readOnly);
 			menuitem.addEventListener('command', () => {
 				this._postMessage({

chrome/locale/en-US/zotero/zotero.properties

@@ -1366,8 +1366,9 @@ pdfReader.promptTransferFromPDF.text = Annotations stored in the PDF file will b
 pdfReader.promptTransferToPDF.title = Store Annotations in File
 pdfReader.promptTransferToPDF.text = Annotations will be transferred to the PDF file and will no longer be editable in %S.
 pdfReader.promptPasswordProtected = The operation is not supported for password-protected PDF files.
-pdfReader.changePageNumber = Change Page Number…
+pdfReader.editPageNumber = Edit Page Number…
 pdfReader.editHighlightedText = Edit Highlighted Text
+pdfReader.pageNumberPopupHeader = Change page number for:
 pdfReader.thisAnnotation = This annotation
 pdfReader.selectedAnnotations = Selected annotations
 pdfReader.thisPage = This page

pdf-reader

@@ -1 +1 @@
-Subproject commit ad19758c589219ee1ee643c74ec895e11e3296be
+Subproject commit fcd6b5573ab5fcd60da7477661f935b5cfbd6b3e