From 19d84b6de07ba02b7a146888d08f7ab724100e2a Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 11 Aug 2011 14:56:34 +0000 Subject: [PATCH] minibar: some functions were in the wrong file --- src/runtime/javascript/minibar/minibar.js | 22 ------------------ .../minibar/minibar_translations.js | 23 +++++++++++++++++++ 2 files changed, 23 insertions(+), 22 deletions(-) diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index d0a1a9053..efd36fee2 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -145,28 +145,6 @@ Minibar.prototype.open_feedback=function() { } } -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; -} - // This function is called from feedback.html function prefill_feedback_form() { var state=opener_element("minibar").state; 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; +}