From 9744d6b6aaf2fe536ca197f7f6e37872ee0e4854 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 28 May 2010 16:17:54 +0000
Subject: [PATCH] Add link to Google Translate

---
 src/runtime/javascript/minibar/minibar.js | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

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) {