diff options
Diffstat (limited to 'src/runtime/javascript/minibar/minibar_translations.js')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar_translations.js | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/runtime/javascript/minibar/minibar_translations.js b/src/runtime/javascript/minibar/minibar_translations.js index bccbada67..3a9fb1fee 100644 --- a/src/runtime/javascript/minibar/minibar_translations.js +++ b/src/runtime/javascript/minibar/minibar_translations.js @@ -125,3 +125,26 @@ Translations.prototype.show_groupedtranslations=function(translationsResult) { } } } + + +function abstree_button(abs) { + var i=button_img(tree_icon,"toggle_img(this)"); + i.title="Click to display abstract syntax tree" + i.other=server.current_grammar_url+"?command=abstrtree&tree="+encodeURIComponent(abs); + return i; +} + +function alignment_button(abs) { + var i=button_img(alignment_icon,"toggle_img(this)"); + i.title="Click to display word alignment" + i.other=server.current_grammar_url+"?command=alignment&tree="+encodeURIComponent(abs); + return i; +} + +function parsetree_button(abs,lang) { + var i=button_img(tree_icon,"toggle_img(this)"); + i.title="Click to display parse tree" + i.other=server.current_grammar_url + +"?command=parsetree&from="+lang+"&tree="+encodeURIComponent(abs); + return i; +} |
