From 68ebfe9de28f6e78e63db5bfd85f8499048d64c7 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 13 Apr 2016 13:18:18 +0000 Subject: [PATCH] Minibar: don't show dependency information in parse trees. This was fixed by adding "&nodep=true" in the minibar when it requests a parse tree from the server. The reason dependency information got included in the first place was that all rendering options are on by default in command=parsetree requests in PGF service API. --- src/www/minibar/minibar_translations.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js index 80353920a..9cb103d67 100644 --- a/src/www/minibar/minibar_translations.js +++ b/src/www/minibar/minibar_translations.js @@ -291,7 +291,7 @@ Translations.prototype.alignment_button=function(abs,all,toLangs) { Translations.prototype.parsetree_button=function(abs,lang) { var f=this.options.tree_img_format; var img=this.server.current_grammar_url - +"?command=parsetree&format="+f+"&nodefont=arial" + +"?command=parsetree&format="+f+"&nodep=true&nodefont=arial" +"&from="+lang+"&tree="+encodeURIComponent(abs); var btn=tree_button(img) btn.title="Click to display parse tree. Click again to show function names."