diff --git a/web/pdf_page_view.js b/web/pdf_page_view.js index 8e49cbaf6..7e558ad7a 100644 --- a/web/pdf_page_view.js +++ b/web/pdf_page_view.js @@ -80,6 +80,7 @@ var PDFPageView = (function PDFPageViewClosure() { div.className = 'page'; div.style.width = Math.floor(this.viewport.width) + 'px'; div.style.height = Math.floor(this.viewport.height) + 'px'; + div.setAttribute('data-page-number', this.id); this.div = div; container.appendChild(div);