GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar: bug fix: accidental reference to global variable "server"

Browse Source
This commit is contained in:
hallgren
2012-02-13 17:25:37 +00:00
parent c4406c146a
commit facdfb6373
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/www/minibar/minibar_translations.js
View File

@@ -140,24 +140,24 @@ Translations.prototype.show_groupedtranslations=function(translationsResult) {
} }
function abstree_button(abs) { Translations.prototype.abstree_button=function(abs) {
var i=button_img(tree_icon,"toggle_img(this)"); var i=button_img(tree_icon,"toggle_img(this)");
i.title="Click to display abstract syntax tree" i.title="Click to display abstract syntax tree"
i.other=server.current_grammar_url+"?command=abstrtree&tree="+encodeURIComponent(abs); i.other=this.server.current_grammar_url+"?command=abstrtree&tree="+encodeURIComponent(abs);
return i; return i;
} }
function alignment_button(abs) { Translations.prototype.alignment_button=function(abs) {
var i=button_img(alignment_icon,"toggle_img(this)"); var i=button_img(alignment_icon,"toggle_img(this)");
i.title="Click to display word alignment" i.title="Click to display word alignment"
i.other=server.current_grammar_url+"?command=alignment&tree="+encodeURIComponent(abs); i.other=this.server.current_grammar_url+"?command=alignment&tree="+encodeURIComponent(abs);
return i; return i;
} }
function parsetree_button(abs,lang) { Translations.prototype.parsetree_button=function(abs,lang) {
var i=button_img(tree_icon,"toggle_img(this)"); var i=button_img(tree_icon,"toggle_img(this)");
i.title="Click to display parse tree" i.title="Click to display parse tree"
i.other=server.current_grammar_url i.other=this.server.current_grammar_url
+"?command=parsetree&from="+lang+"&tree="+encodeURIComponent(abs); +"?command=parsetree&from="+lang+"&tree="+encodeURIComponent(abs);
return i; return i;
} }