Skip if we are already in the correct view.
authorMichael M Slusarz <slusarz@curecanti.org>
Mon, 14 Dec 2009 19:45:37 +0000 (12:45 -0700)
committerMichael M Slusarz <slusarz@curecanti.org>
Tue, 15 Dec 2009 00:49:20 +0000 (17:49 -0700)
imp/js/ViewPort.js

index b0985ae..43de85e 100644 (file)
@@ -212,7 +212,7 @@ var ViewPort = Class.create({
             this.page_size = ps;
         }
 
-        if (this.view) {
+        if (this.view && (view != this.view)) {
             if (!background) {
                 // Need to store current buffer to save current offset
                 buffer = this._getBuffer();