From ed1df3b470d1481127111383d278ffdc0c4a8c74 Mon Sep 17 00:00:00 2001 From: Michele Redolfi Date: Wed, 17 Jul 2013 09:47:13 +0200 Subject: [PATCH] clean up --- share/pdf2htmlEX.js.in | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/share/pdf2htmlEX.js.in b/share/pdf2htmlEX.js.in index 58d13ea..d493054 100644 --- a/share/pdf2htmlEX.js.in +++ b/share/pdf2htmlEX.js.in @@ -99,9 +99,10 @@ var pdf2htmlEX = (function(){ this.set_r = ratio; } - /* wait for redraw */ - if (! keep_shown) - this.hide(); + if (keep_shown) + this.show(); // Refresh content + else + this.hide(); // Wait for redraw this.$d.height(this.h * this.set_r); this.$d.width(this.w * this.set_r); @@ -364,11 +365,10 @@ var pdf2htmlEX = (function(){ // Rescale pages var pl = this.pages; for(var i in pl) { - if (prerendering_enabled && i > min_visible && i < max_visible) { - pl[i].rescale(this.scale, true); - pl[i].show(); // Force immediate refresh - } else - pl[i].rescale(this.scale); // Delayed refresh + if (prerendering_enabled && i > min_visible && i < max_visible) + pl[i].rescale(this.scale, true); // Force immediate refresh + else + pl[i].rescale(this.scale); // Delayed refresh } // Correct container scroll to keep view aligned while zooming