* wrap/python/ajax/ltl2tgba.html: Disable the browser spellcheck

on the input box.

ChangeLog

+2011-01-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* wrap/python/ajax/ltl2tgba.html: Disable the browser spellcheck
+	on the input box.
+
 2011-01-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Preliminary implementation of an ajax-based ltl2tgba translator.

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();	           
                 });