diff --git a/ChangeLog b/ChangeLog index 2348309cd..ff688beec 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,17 @@ +2011-01-26 Alexandre Duret-Lutz + + Updates to the ltl2tgba ajax version. + + * wrap/python/ajax/ltl2tgba.html: Remove the auto-update button, and + enable auto-update automatically after the first submission. Add + tools tips for the "Desired Output" tabs, and the Spot logo. + Add a email icon to encourage feedback. + * wrap/python/ajax/ltl2tgba.css: fix sizes of formula field and + send button. Set position of mail icon. + * wrap/python/ajax/logos/mail.png: New logo, based on a public + domain SVG icon retrieved today from + http://commons.wikimedia.org/wiki/File:Internet-mail.svg + 2011-01-19 Alexandre Duret-Lutz * wrap/python/ajax/ltl2tgba.html: Disable the browser spellcheck diff --git a/wrap/python/ajax/css/ltl2tgba.css b/wrap/python/ajax/css/ltl2tgba.css index 19a3e605e..1f4cf8602 100644 --- a/wrap/python/ajax/css/ltl2tgba.css +++ b/wrap/python/ajax/css/ltl2tgba.css @@ -5,6 +5,13 @@ html {overflow-y:scroll;} font-size: 1em; } +input.formula { + width: 700px; +} +div#send { + width: 80px; +} + div.ltl2tgba { width: 800px; position:relative; @@ -33,6 +40,12 @@ div.ltl2tgba { bottom:10px; z-index:1; } +#mailicon { + position:fixed; + left:10px; + top:84px; + z-index:1; +} .ltl2tgba div.ui-widget-content { padding: 3px; diff --git a/wrap/python/ajax/logos/mail.png b/wrap/python/ajax/logos/mail.png new file mode 100644 index 000000000..743a69f61 Binary files /dev/null and b/wrap/python/ajax/logos/mail.png differ diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 7a620176e..e1c6b0d00 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -13,8 +13,11 @@