summaryrefslogtreecommitdiff
path: root/javascripts/graph.js
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2010-05-22 13:54:10 +0200
committerPatrick Simianer <p@simianer.de>2010-05-22 13:54:10 +0200
commitffc8a36e0e60ec6d3630efeaa96a0eb22aaaed53 (patch)
treedd2e327444c067a2cbd8981772607ace4e09bc9b /javascripts/graph.js
parent8f7153eb3867048ab90d35cbc075071bced993f0 (diff)
minor changes
Diffstat (limited to 'javascripts/graph.js')
-rw-r--r--javascripts/graph.js8
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);