diff --git a/arrow.gif b/arrow.gif index 5ec3233d..d99badb5 100644 Binary files a/arrow.gif and b/arrow.gif differ diff --git a/schema.inc.php b/schema.inc.php index 3cf9973c..67e7ea5d 100644 --- a/schema.inc.php +++ b/schema.inc.php @@ -55,16 +55,18 @@ function mousedown(el, event) { x = event.clientX - el.offsetLeft; y = event.clientY - el.offsetTop; } -function mousemove(event) { +document.onmousemove = function (ev) { if (that !== undefined) { - that.style.left = (event.clientX - x) / em + 'em'; - that.style.top = (event.clientY - y) / em + 'em'; + ev = ev || event; + that.style.left = (ev.clientX - x) / em + 'em'; + that.style.top = (ev.clientY - y) / em + 'em'; //! drag lines } } -function mouseup(event) { +document.onmouseup = function (ev) { if (that !== undefined) { - table_pos[that.firstChild.firstChild.firstChild.data] = [ (event.clientY - y) / em, (event.clientX - x) / em ]; + ev = ev || event; + table_pos[that.firstChild.firstChild.firstChild.data] = [ (ev.clientY - y) / em, (ev.clientX - x) / em ]; that = undefined; var date = new Date(); date.setMonth(date.getMonth() + 1); @@ -77,7 +79,7 @@ function mouseup(event) { } -
+
$table) { echo "
"; @@ -99,14 +101,14 @@ foreach ($schema as $name => $table) { foreach ($refs as $left => $columns) { $left = $left / 10000 - $table_pos[$name][1]; foreach ($columns as $source => $target) { - echo "
\n"; + echo "
\n"; } } } foreach ((array) $referenced[$name] as $left => $columns) { $left = $left / 10000 - $table_pos[$name][1]; foreach ($columns as $target) { - echo "
\n"; + echo "
\n"; } } echo "
\n"; @@ -123,7 +125,7 @@ foreach ($schema as $name => $table) { $min_pos = min($min_pos, $pos1, $pos2); $max_pos = max($max_pos, $pos1, $pos2); } - echo "
\n"; + echo "
\n"; } } }