diff --git a/ChangeLog b/ChangeLog index 07de466a1..2348309cd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2011-01-19 Alexandre Duret-Lutz + + * wrap/python/ajax/ltl2tgba.html: Disable the browser spellcheck + on the input box. + 2011-01-18 Alexandre Duret-Lutz Preliminary implementation of an ajax-based ltl2tgba translator. diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 3b603b2cb..7a620176e 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -96,7 +96,8 @@ $("#send").click(updateResults); $("input,select").change(autoUpdate); - $('input[name="f"]').keydown(function(e){ + $('input[name="f"]').attr('spellcheck', false) + .keydown(function(e){ if (e.keyCode == 13 && !$("#autoupdate").attr("checked")) updateResults(); });