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

Merge pull request #7971 from davehouse/remove_viewer_page_div_id

Browse source 
remove viewer page div id
This commit is contained in:
Tim van der Meij 2017-01-23 22:27:26 +01:00 • committed by GitHub
commit 2170eda9df
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
web/pdf_page_view.js
View file

@ -112,7 +112,6 @@ var PDFPageView = (function PDFPageViewClosure() {
this.annotationLayer = null;
var div = document.createElement('div');
div.id = 'pageContainer' + this.id;
div.className = 'page';
div.style.width = Math.floor(this.viewport.width) + 'px';
div.style.height = Math.floor(this.viewport.height) + 'px';

2
web/pdf_thumbnail_view.js
View file

@ -124,8 +124,8 @@ var PDFThumbnailView = (function PDFThumbnailViewClosure() {
this.anchor = anchor;
var div = document.createElement('div');
div.id = 'thumbnailContainer' + id;
div.className = 'thumbnail';
div.setAttribute('data-page-number', this.id);
this.div = div;
if (id === 1) {

3
web/pdf_thumbnail_viewer.js
View file

@ -87,7 +87,8 @@ var PDFThumbnailViewer = (function PDFThumbnailViewerClosure() {
if (selected) {
selected.classList.remove('selected');
}
var thumbnail = document.getElementById('thumbnailContainer' + page);
var thumbnail = document.querySelector(
'div.thumbnail[data-page-number="' + page + '"]');
if (thumbnail) {
thumbnail.classList.add('selected');
}