minibar: show parse trees without or with function names

Click once to show the parse tree without function names. Click again to
add function names.

1 files changed, 2 insertions, 3 deletions

diff --git a/src/www/minibar/minibar_support.js b/src/www/minibar/minibar_support.js
index f5919fa05..a9586e8f4 100644
--- a/src/www/minibar/minibar_support.js
+++ b/src/www/minibar/minibar_support.js
@@ -24,9 +24,8 @@ function update_language_menu(menu,grammar) {
 }
 
 function button_img(url,action) {
-    var i=img(url);
-    i.setAttribute("class","button");
-    i.setAttribute("onclick",action);
+    var i=node("img",{"class":"button","src":url});
+    i.onclick=action;
     return i;
 }