diff options
author | Patrick Simianer <p@simianer.de> | 2014-06-15 04:04:10 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2014-06-15 04:04:10 +0200 |
commit | 268a80c4684f38f92fd1ec539dd0edc1a2caed94 (patch) | |
tree | e1e8447f95fda4a55a86cf2b48c9541dbfa4e1c2 /javascripts/ui.js | |
parent | 178caa12ed7c3a8822a163d51bfe691239a713ff (diff) |
pub
Diffstat (limited to 'javascripts/ui.js')
-rw-r--r-- | javascripts/ui.js | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/javascripts/ui.js b/javascripts/ui.js index d84bf1a..4a94a15 100644 --- a/javascripts/ui.js +++ b/javascripts/ui.js @@ -4,11 +4,11 @@ */ -// initialization of ui +// initialization of ui $(function() { // #alphabet $('#alphabet').html(ALPHABET.substr(0,ALPHABET.length-1)); - // #regex + // #regex $('#regex').change(function() { checkLength(this, "#parseButton"); }); $('#regex').keypress(function(event) { return getKey(event, ALPHABETS); }); $('#regex').mouseout(function() { checkLength(this, "#parseButton"); }); @@ -30,7 +30,7 @@ $(function() { // #descButton $('#descButton').click(function() { $('#desc').toggle(); }); // in place edit of alphabet - $('body').click(function() { + $('body').click(function() { if (alphabetEdit) { ALPHABET = $('#alphabetInput').attr('value').replace(/\s/g,'').replace(/%/g, '').replace(/\*/g, ''); ALPHABET = ALPHABET.replace(/\(/g, '').replace(/\)/g, '').replace(/\|/g, '')+STOPSYMBOL; @@ -176,7 +176,7 @@ function graphMoveByInput(e) { //var w = $('#word').attr('value'); //$('#word').attr('value', w.substr(0, w.length-1)); lock = false; - return false; + return false; } } else { lock = true; @@ -228,7 +228,7 @@ function graphMoveByInput(e) { window.setTimeout(function() { if (!window.gPrevState) return; // none of word left g.mover.animate({cx:gPrevState.node[1][0].cx.baseVal.value, cy:gPrevState.node[1][0].cy.baseVal.value}, 250); - lock = false; + lock = false; }, 250); window.gCurrentState = gPrevState; if (ttable[window.gCurrentState.name].isFinal) { |