From: jakubvrana Date: Fri, 27 Jul 2007 09:47:59 +0000 (+0000) Subject: Gray arrow X-Git-Tag: v3.0.0~1238 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=68aae8e3b08293acc6c61767e1a12debb8a1b925;p=adminer.git Gray arrow Tables in schema movable all around git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@273 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- 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"; } } }