# HG changeset patch
# User robcast
# Date 1302164546 -7200
# Node ID 613c2089bc7a72b44a3cb71d128abc65290e587b
# Parent  65ad22044e1300572e08066c409ce18150cec34e
use setstate in redisplay instead of pushstate as long as we don't deal with popstate (i.e. history-back).

diff -r 65ad22044e13 -r 613c2089bc7a client/digitallibrary/jquery/jquery.digilib.js
--- a/client/digitallibrary/jquery/jquery.digilib.js	Wed Apr 06 13:26:40 2011 +0200
+++ b/client/digitallibrary/jquery/jquery.digilib.js	Thu Apr 07 10:22:26 2011 +0200
@@ -931,9 +931,8 @@
             if (typeof history.pushState === 'function') {
                 console.debug("faking reload to "+url);
                 // change url without reloading (stateObj, title, url)
-                // TODO: we really need to put the state in stateObj and listen to pop-events
-                // TODO: use replace-state(?)
-                history.pushState({}, '', url);
+                // TODO: we really need to push the state in stateObj and listen to pop-events
+                history.replaceState({}, '', url);
                 // change img src
                 var imgurl = getScalerUrl(data);
                 data.$img.attr('src', imgurl);