diff options
Diffstat (limited to 'javascripts')
| -rw-r--r-- | javascripts/graph.js | 8 | ||||
| -rw-r--r-- | javascripts/uifunc.js | 1 |
2 files changed, 5 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); diff --git a/javascripts/uifunc.js b/javascripts/uifunc.js index 48d0095..007305a 100644 --- a/javascripts/uifunc.js +++ b/javascripts/uifunc.js @@ -35,6 +35,7 @@ function uiParse() { var dfa = new Nfa2Dfa(nfa); var ttable = dfa.do(); graph(); + disable('#regex'); disable('#parseButton'); }; $('#parseMessage').effect("highlight", {}, 1000); |