diff options
| -rw-r--r-- | javascripts/graph.js | 8 | ||||
| -rw-r--r-- | javascripts/uifunc.js | 1 | ||||
| -rw-r--r-- | resources/urls.txt | 2 |
3 files changed, 7 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); diff --git a/resources/urls.txt b/resources/urls.txt index 6877e60..4b9dada 100644 --- a/resources/urls.txt +++ b/resources/urls.txt @@ -10,3 +10,5 @@ http://swtch.com/~rsc/regexp/regexp1.html http://www.gamedev.net/reference/articles/article2170.asp http://raphaeljs.com/reference.html + +http://www.w3.org/TR/SVG/ |