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

diff -r 918caa243a5c -r b95510ec127b 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);