mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Add page size to the document properties dialog

Browse source
This commit is contained in:
palsch 2018-03-08 18:23:47 +01:00
parent 5f98f9b8f1
commit 8558c5b1d9
5 changed files with 69 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
l10n/en-US/viewer.properties
View file

@ -89,6 +89,13 @@ document_properties_creator=Creator:
document_properties_producer=PDF Producer:
document_properties_version=PDF Version:
document_properties_page_count=Page Count:
document_properties_page_size=Page Size:
# LOCALIZATION NOTE (document_properties_page_size_in): "{{width_in}}" and "{{height_in}}"
# will be replaced by the size of the first page of the PDF file in inches.
document_properties_page_size_in={{width_in}}in × {{height_in}}in
# LOCALIZATION NOTE (document_properties_page_size_mm): "{{width_mm}}" and "{{height_mm}}"
# will be replaced by the size of the first page of the PDF file in millimeters.
document_properties_page_size_mm={{width_mm}}mm × {{height_mm}}mm
document_properties_close=Close
print_progress_message=Preparing document for printing…