mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
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.
This commit is contained in:
@@ -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."
|
||||
|
||||
Reference in New Issue
Block a user