Add link to Google Translate

1 files changed, 16 insertions, 0 deletions

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index 356d7acc9..01e119672 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -15,6 +15,7 @@ var options={
     show_trees: false,
     show_grouped_translations: true,
     delete_button_text: "⌫",
+    try_google: true
 }
 
 /* --- Grammar access object ------------------------------------------------ */
@@ -337,6 +338,7 @@ function show_translations(translations) {
 				      text(lin[i].text))]));
     trans.appendChild(wrap("table",tbody));
   }
+  try_google(grammar,trans,to);
 }
 
 function show_groupedtranslations(translations) {
@@ -360,6 +362,20 @@ function show_groupedtranslations(translations) {
 	    trans.appendChild(wrap("table",tbody));
 	}
     }
+    try_google(grammar,trans,to);
+}
+
+function try_google(grammar,trans,to) {
+    if(options.try_google) {
+	var menu=element("language_menu");
+	var c=menu.current;
+	var url="http://translate.google.com/?sl="+langpart(c.from,grammar.name);
+	if(to!="-1") url+="&tl="+to;
+	url+="&q="+encodeURIComponent(c.input);
+	var link=empty("a","href",url);
+	link.innerHTML="Try this sentence in Google Translate";
+	trans.appendChild(link);
+    }
 }
 
 function abstree_button(abs) {