--- a/static/dragdrop.js Sat Jan 09 13:26:40 2010 +0200
+++ b/static/dragdrop.js Sat Jan 09 13:47:47 2010 +0200
@@ -240,8 +240,7 @@
style.top = p[1] + "px";
if(style.visibility=="hidden") style.visibility = ""; // fix gecko rendering
- },
-
+ }
});
Draggable._dragging = { };
--- a/static/tiles2.js Sat Jan 09 13:26:40 2010 +0200
+++ b/static/tiles2.js Sat Jan 09 13:47:47 2010 +0200
@@ -87,7 +87,7 @@
this.draggable = new Draggable(this.substrate, {
onStart: this.on_scroll_start.bind(this),
onDrag: this.on_scroll_move.bind(this),
- onEnd: this.on_scroll_end.bind(this),
+ onEnd: this.on_scroll_end.bind(this)
});
// register event handlers for other UI functions
@@ -499,7 +499,7 @@
// build a new tile
t = Builder.node("img", {
src: this.source.build_url(col, row, zl /* , sw, sh */),
- id: id,
+ id: id //,
// title: "(" + col + ", " + row + ")",
// style set later
}
@@ -607,12 +607,15 @@
/** Make this zoom layer visible with the given z-index */
enable: function (z_index) {
this.div.style.zIndex = z_index;
- this.div.show();
+
+ // XXX: IE8 needs this for some reason
+ $(this.div).show();
},
/** Hide this zoom layer */
disable: function () {
- this.div.hide();
+ // XXX: IE8
+ $(this.div).hide();
},
/**