From f3c6f01e8d62fec40e0e90adc9c1fd4df3331efe Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 26 Jan 2011 22:03:14 +0100 Subject: [PATCH] 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 --- ChangeLog | 14 ++++++++++++++ wrap/python/ajax/css/ltl2tgba.css | 13 +++++++++++++ wrap/python/ajax/logos/mail.png | Bin 0 -> 4016 bytes wrap/python/ajax/ltl2tgba.html | 26 +++++++++++++++----------- 4 files changed, 42 insertions(+), 11 deletions(-) create mode 100644 wrap/python/ajax/logos/mail.png 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 0000000000000000000000000000000000000000..743a69f613c234ea17ea42efed935c00b0d39c63 GIT binary patch literal 4016 zcmeAS@N?(olHy`uVBq!ia0y~yU~m9o4mJh`hEk44ofy`glX=O&z`&N| z?e4D(S#{FuA82m zu>AL=U;F1o=S{9%?Jlo8LjNdFEqYgEscIGKImc_MNT(1(let3^3!{(Rm~ znJa%l?;DGl_{nur3D11}{r9im|NU3#{>Ua>E&Iyv=Vhl{+Ro|xFCs96U4yk(oj z3AOIij7q^5=C58=_2$NJ`IvjF>L#tt__A02|4~P$6ZQr?i|=p!t+{Pm-t9}WyJ9-^ z{x1&k&23=H>zDrjclG}XwsQRLnzmk=e>Xo?_gn36!r*@Yw>O)}`yj9SD_1YO&#(Pf z+4k5%VAHL<5E>7Ge5j+l1za6A9Um+H$!BPYE(vFXpD z&fs*lc^VA&?0@z38a%1D=*zDC+q->dQxlWNB$hytg{!i{mVUNmXPAAKt@$8BAkTxz z{r;!rw%=a6;?%v#%k6gUm8?xSzjfea@_Q?Zwx4sJ|D3kH?t}ZBlPOLrLX8?-r}^?^ zyN;(W4B(g&Bq9=V;qv9CnT1dtA?o<;)j1H8GWxem7874ljLJ@FJkT{(U;LG)v-LhB-F>9tX80 z?z`}sxAcDf>-IT*%bgVj989EQ&7X!d>4O71{mKN1Z*wlDtf~6jd;j^CC|wpu2OY87BB{l9``s3I98L06h`HQ$c;R7b z#>BG>bF4nbnI1NXpLzD#rttXc?#GpKO$rK9y?IhkKeH}eytsR(oz)`V_CxKze(gHX z$H%vOyGR4SpWNDHiD%lYw{H0HG(7IPiIlI?&$A(ATYq275SgU1aKi=xYip~S(%0R$ zE)4ik5TE~DpS`^;Hk#=``|`eN#yrLu+pXuc_wAXr=ueo|?AJCzoeq;!ZseG4+4?>u zukY@I=7SF=-n;j1K0hySwYg}+WqFy+Mm)b;Z^i@^{&;%bqVMs8@4t(!_N*;vy7}(- z%!JK1H!R*dcW2E{CHd~7eBZv6{LOjsr}e}#hJs&*zi;I^{HN==X|8_#d)~h1KU+Ta z2i=^y%)@h1!uH!2Z{0e^!^1b>a5yuic-Y>#yTr*v#dS&QSCE z!^GQOjw=USvw-Wzjlp$GKRYNeG#_MGewlOk-M)zvv(JC|R&w9ozUJel zSqwjZoawyJT<~nRel54?)X)wWr4PUV_QxKqdB@$v(0#P&(WIaaI^8Evc22L_WxZcc zZlA?WafbOdC7)cKPT1S-eJ|~k9Bi!O*>wH2Z{*e7t-kq7ctb-KIheS(xdQ_OS@)ms z-np~={=0XtEUarDUi#C;Q1k2K%A!LC^UF(0KF^Ka>k=Be!12BbGj|Q*y7K` z;KZS^G(d!Pk;b8yC5yIgn|EjCoD>$vA8XgGn`^(f;9-!?a^Vz-XYX@b&2sba=dm%w z=!uKC-rT?(y;}Ip)pbLlz7lX{{lMVj%c3+*nKC<8cIahg&-}2_uPn&d3_g`HW8tQ5x)26^NW9H0* zM~<-kxh#C6&GL)2$ea8Pi+8S)m}6wfy@vnSUFjMCC*Cy5Q*GX#V~8`5gu1x_wV?>Pax*a1?m(u|nZj?Tux^ z7vDSxe6_(TdBd`I$tMFFELytcmc>Z~z!?%TJmnGG&lzf(^ zeqh?tcWT{v2kd!&q&IdjY}wQBYLn8O-TN9=oMl@ZHk;|dmoFx-UcLJ8nmsO|t&L5K z;ioJ^{Uip5(5ta?WA`ewsLZ(+7Gx*YtLAp|ZJDyzhXpr94%Y4F>nqZZsEvIkpk<_R zhG}1ZB>y|Zjtzvq?b&7G4*c3O{1OEj+_%c5_6tqdj z{i7eVqW-H>bAD8vVV!-JZQk?XU|#R@uS<4`JU_2%+}$L=H2EY;|8eHH!|P{%`ZzVp zK%(XP>(=9s8HGP3v|F~twKHCu|MJPO%lMx*k1x)Dpj7C&L2I5KVpE z<1fwzHZbjJJHKkjs#P5>N}SK1eym97+jTK1aKrJ$mX-JT3S4K(_OgoS-Zba!&}+y` z+LoQh;`7+h+XVb*FWzOVb-WE9g?5z%q# z)G3p@9(=+c{*r=C>*mJ(DEi;rt<0J=xx0oFl7S&VSd#sdG8qx8)z=xUz5Vv@XVlN3XEc0zn!(2f8E0KGHjjxq5YF?t@dkS z5nog7c&2PhPWI^w$vv*?(uSUv)fU(9-2*ixIZm7Ysg!=T z`}@-?inE1NHW@0|rpw!xeSg=Qu;Re~Pr1=w3s3GkWm;@5wqTOE*Ha6 zPPP_n+S7E`5>u%ihPK`9pkIYhhAP6yd@A2uwlv~r=r9?Ul>FV9X#k7xM!`t{;l+n|0L6n zt_^=#5*b@6`-jnfnVe7Jjh*b)&-Wi|Nwv25CG@1|tIGL=Q>V8&9L`D%YF_d3#`b6X zmbD)$St`4**W}*4JA8&JhhBevRP=LmfCl4vqZez|vK%jBIPoa^l8jL7CbwNGi>4@v z@F_|Nd^n))5Fj$+iGkFtaV23qKri zoZ*|s(0%{s@4x>rui@Rbyq^2A$FDSNdQ58hwd&WOO#cbiB5|FJFE{-* z{%&Yz+BdCDY)f7~>tTZhQewtG;V@+<$(VT-v{&Jq^>S=q`wx@2!M7yu+ zUN9Gx=H(>u)E(?+{>``GLevbSSDSS5J1^Z#as8$w!RvNsS21_8aB{|)T$a+!dsoWp9Dj7|39rYd zDgB%&@qFu3{wD<-`Ej?fWNZ1t6B}oIoR}(Ew_kpeO0GuTjTa%uHt9%ZOBp_&b@;5c z`NfFKGfw0_v*lf-edGV0YPp3O9OrHS%9u#;GAKy!C<$<^u~fUSvvl*+BzHp}H(|AR z{tK3^VXK;JcYV{06yKhd#dn%_vTNvTx<`9PC!PELv!>%{l7Gvkmq%BaFWR_E@Vnf- z=F87oJo8VP3wXWlS)@_$GbSTDui0;P^qkMm3wzePn`Ikro!Ocid1c!5qsRA;pfkvy0cHog&Mx?Q zUYW5%?X}H}iQ*fg)>twxIy=pluk6Vk!Clstodp&w7k<20x@@9mtdeKZ^N9k-9(!E) zF-xg(we3s(v)h=RGv8H-Xg;4gyWHfpap&tJpS#s3PZpkO*N}K);qC3mf92hmJAGoY zzShhV-%LNrSSQV;y%rO)|NN}^b5~O^;nwa)?~iqDI-@b^>5hdK4FCCmq-9>nvvx0M QU|?YIboFyt=akR{00YFB1^@s6 literal 0 HcmV?d00001 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 @@