Minibar: show word dependecy diagrams

They are now included in the cycle of images shown when clicking on the
parse tree icon.

src/www/minibar/minibar_support.js

@@ -43,6 +43,17 @@ function button_img(url,action) {
     return i;
 }
 
+function cycle_images(img_urls) {
+    var current=0;
+    function cycle() {
+	current++;
+	if(current>=img_urls.length) current=0;
+	i.src=img_urls[current]
+    }
+    var i=button_img(img_urls[0],cycle);
+    return i
+}
+
 function toggle_img(i) {
   var tmp=i.src;
   i.src=i.other;

src/www/minibar/minibar_translations.js

@@ -289,12 +289,22 @@ Translations.prototype.alignment_button=function(abs,all,toLangs) {
 }
 
 Translations.prototype.parsetree_button=function(abs,lang) {
-  var f=this.options.tree_img_format;
+    var f=this.options.tree_img_format;
-  var img=this.server.current_grammar_url
+    var img=this.server.current_grammar_url
-          +"?command=parsetree&format="+f+"&nodep=true&nodefont=arial"
+        +"?command=parsetree&format="+f+"&nodep=true&nodefont=arial"
-	  +"&from="+lang+"&tree="+encodeURIComponent(abs);
+	+"&from="+lang+"&tree="+encodeURIComponent(abs);
-  var btn=tree_button(img)
+    var img_nofun=img+"&nofun=true"
-  btn.title="Click to display parse tree. Click again to show function names."
+    var help="Click again to display parse tree. Click again to show function names."
+    if(f=="svg") {
+	var depimg=this.server.current_grammar_url
+            +"?command=deptree&format=svg&to="+lang
+	    +"&tree="+encodeURIComponent(abs);
+	var imgs=[tree_icon,depimg,img_nofun,img]
+	help="Click to display dependency tree. "+help
+    }
+    else var imgs=[tree_icon,img_nofun,img]
+  var btn=cycle_images(imgs)
+  btn.title=help
   return btn;
 }
 
@@ -305,15 +315,7 @@ function mt_local(grammar_url) {
 }
 
 function tree_button(img_url,opt) {
-    var imgs=[tree_icon,img_url+(opt||"&nofun=true"),img_url]
+    return cycle_images([tree_icon,img_url+(opt||"&nofun=true"),img_url])
-    var current=0;
-    function cycle() {
-	current++;
-	if(current>=imgs.length) current=0;
-	i.src=imgs[current]
-    }
-    var i=button_img(tree_icon,cycle);
-    return i
 }
 
 function draw_brackets(b) {