diff --git a/ChangeLog b/ChangeLog index a7d251e61..f1fe395c7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2011-01-26 Alexandre Duret-Lutz + + * wrap/python/ajax/ltl2tgba.html: Display the Spot version in + the tooltip over the Spot logo. + 2011-01-26 Alexandre Duret-Lutz * wrap/python/ajax/Makefile.am (EXTRA_DIST): Add icons/mail.png. diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index e1c6b0d00..dc1ec1d5c 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -42,6 +42,13 @@ content: "Click<\/b> to fold/unfold." }); + $.get("/cgi-bin/spot.py", "o=v", function(data) { + $("#spottip").attr("title", "This page uses " + data + "<\/b> to process LTL formulas and automata. Please download the Spot<\/b> library and install it on your computer if you want to do the same from the command line, or from another program.") + .tipTip({maxWidth: "400px", delay: 1000, + edgeOffset: 10, + defaultPosition: "right"}); + }); + function fold(ui) { var icon = ui.children(".ui-icon"); icon.removeClass("ui-icon-circle-arrow-n") @@ -151,7 +158,7 @@ + Spot Logo
Spot Logo