X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Findex.html;h=0e120ed904e852de28c4a2f591ebe263ecad7a44;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=305b2f8e19e1bcbbbe8a160feb1edcdba5d9b4ce;hpb=d82fff2a6090856a5f05aad2757af1bbec942adb;p=helm.git diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html index 305b2f8e1..0e120ed90 100644 --- a/helm/searchEngine/html/index.html +++ b/helm/searchEngine/html/index.html @@ -92,7 +92,8 @@ function ask_uwobo(url) "¶m.naturalLanguage=" + encodeURIComponent(naturalLanguage) + "¶m.annotations=" + encodeURIComponent(annotations) + "¶m.topurl=" + encodeURIComponent(interface_topurl) + - "&prop.method=html")); + "&prop.method=html" + + "¶m.expandasking=" + encodeURIComponent(top.topurl))); } function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito รจ legata ad un evento onFocus o onMouseOver. {