From c7f3bd51112feb4cbfed4e5bdaca8c96e3e9e5a5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Jan 2011 08:44:33 +0100
Subject: [PATCH] * wrap/python/ajax/ltl2tgba.html: Disable the browser
 spellcheck on the input box.

---
 ChangeLog                      | 5 +++++
 wrap/python/ajax/ltl2tgba.html | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 07de466a1..2348309cd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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.
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();	           
                 });