From 187997fe5dd302786637cf28385efd8dbda741cb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 8 Mar 2012 22:02:16 +0100 Subject: [PATCH] ltl2tgba.html: Fix initialization of unset options on reload. * wrap/python/ajax/ltl2tgba.html: On page reload, do not ignore fields for which no value has been set in the hash fragment. Otherwise they will keep their default value. Reported by Thomas Badie. --- ChangeLog | 9 +++++++++ wrap/python/ajax/ltl2tgba.html | 4 +--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 656c8337b..c9962f1e1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2012-03-08 Alexandre Duret-Lutz + + ltl2tgba.html: Fix initialization of unset options on reload. + + * wrap/python/ajax/ltl2tgba.html: On page reload, do not ignore + fields for which no value has been set in the hash fragment. + Otherwise they will keep their default value. + Reported by Thomas Badie. + 2012-03-08 Alexandre Duret-Lutz * wrap/python/ajax/spot.in: Fix emulation of execfile. diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 6a3eac25a..87919afdd 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -72,9 +72,7 @@ value = hashparam[name]; if (value.constructor != Array) value = [value]; - } else { - return; - } + } switch(this.type || this.tagName.toLowerCase()) { case "radio": case "checkbox":