From ffc8a36e0e60ec6d3630efeaa96a0eb22aaaed53 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Sat, 22 May 2010 13:54:10 +0200 Subject: minor changes --- javascripts/graph.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'javascripts/graph.js') 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); -- cgit v1.2.3