Minor fix for issues with thumbnails when a new PDF was opened from the local filesystem.

diff --git a/multi_page_viewer.js b/multi_page_viewer.js
index 4f2bd5197dd943a7c8eefaca6adc07eb935f94fd..5a94f12edeef9054eb5765c4ee692a541ad0fcc2 100644 (file)
--- a/multi_page_viewer.js
+++ b/multi_page_viewer.js
@@ -282,6 +282,10 @@ var PDFViewer = {
       PDFViewer.element.removeChild(PDFViewer.element.firstChild);
     }
     
+    while (PDFViewer.sidebarContentView.hasChildNodes()) {
+      PDFViewer.sidebarContentView.removeChild(PDFViewer.sidebarContentView.firstChild);
+    }
+    
     PDFViewer.pdf = new PDFDoc(new Stream(data));
     PDFViewer.numberOfPages = PDFViewer.pdf.numPages;
     document.getElementById('numPages').innerHTML = PDFViewer.numberOfPages.toString();