From 4737e1ad8ddb3995d673ae8e3f3f67d5d3020c94 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 10 Aug 2014 16:50:21 +0200
Subject: [PATCH] Remove old unused code from PDFView.close()
---
web/viewer.js | 4 ----
1 file changed, 4 deletions(-)
diff --git a/web/viewer.js b/web/viewer.js
index 1bf69e0c4..7ba24503a 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -612,10 +612,6 @@ var PDFView = {
thumbsView.removeChild(thumbsView.lastChild);
}
- if ('_loadingInterval' in thumbsView) {
- clearInterval(thumbsView._loadingInterval);
- }
-
var container = document.getElementById('viewer');
while (container.hasChildNodes()) {
container.removeChild(container.lastChild);