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 ++++---- javascripts/uifunc.js | 1 + 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/ -- cgit v1.2.3