From 6b12360f5294e4c55c9ac2575b3366cf24a50810 Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Mon, 14 Dec 2009 12:45:37 -0700
Subject: [PATCH] Skip if we are already in the correct view.

---
 imp/js/ViewPort.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/imp/js/ViewPort.js b/imp/js/ViewPort.js
index b0985ae7e..43de85ea1 100644
--- a/imp/js/ViewPort.js
+++ b/imp/js/ViewPort.js
@@ -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();
-- 
2.11.0