diff options
Diffstat (limited to 'javascripts/graph.js')
| -rw-r--r-- | javascripts/graph.js | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/javascripts/graph.js b/javascripts/graph.js index 9e1c6b5..c1460f2 100644 --- a/javascripts/graph.js +++ b/javascripts/graph.js @@ -154,10 +154,10 @@ function graph() { var nodes = []; var nodeById = []; var i = 0, n, color, isFinal, selfConn = false, selfConnSymbol; - var nx = 10; + var nx = 30; var nxOffset = 100; - var ny = 120; - var nyOffset = 120; + var ny = 130; + var nyOffset = 130; for (var state in ttable) { color = Raphael.getColor(); if (ttable[state].isFinal) { @@ -180,7 +180,7 @@ function graph() { } else { ny = ny + nyOffset; }; - n = r.aNode(nx+nxOffset, ny, nodeRadius, isFinal, selfConn, + n = r.aNode(nx, ny, nodeRadius, isFinal, selfConn, strokeWidth, strokeColor, symbol, labelFontSize); n[1].attr({fill:color, opacity:nodeOpacity, cursor:'move'}); n[1].drag(move, start, up); |