diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index c8c73e095..4730953c6 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -228,14 +228,14 @@ Some implementation details:
trees without function names. Click again to add function names.
[Added 2013-03-27] Click on a linearization to obtain a table with all
variants and forms. Click again to hide the table.
- [Added 2013-03-28] Abstract syntax tree visualizations: click once to
- show abstract syntax trees without function names. Click again to add
- function names.
+ [Added 2013-04-02] Abstract syntax tree visualizations: click once to
+ show abstract syntax trees without category names. Click again to add
+ category names.
-Last modified: Thu Mar 28 16:56:32 CET 2013
+Last modified: Tue Apr 2 13:55:59 CEST 2013
TH
diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js
index 1ad9d6c44..370ef90df 100644
--- a/src/www/minibar/minibar_translations.js
+++ b/src/www/minibar/minibar_translations.js
@@ -213,22 +213,22 @@ Translations.prototype.show_groupedtranslations=function(translationsResult) {
}
-function tree_button(img_url) {
- var imgs=[tree_icon,img_url+"&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 tree_button(img_url,opt) {
+ var imgs=[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
}
Translations.prototype.abstree_button=function(abs) {
var f=this.options.tree_img_format;
var img=this.server.current_grammar_url+"?command=abstrtree&format="+f+"&tree="+encodeURIComponent(abs)
- var btn=tree_button(img);
+ var btn=tree_button(img,"&nocat=true");
btn.title="Click to display abstract syntax tree"
return btn
}