diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/translator/translator.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js index e61bd52b7..9115c0cf1 100644 --- a/src/www/translator/translator.js +++ b/src/www/translator/translator.js @@ -943,9 +943,11 @@ Translator.prototype.draw_segment_given_target=function(s,target,i) { } var autoB=radiobutton("method","Default","Default",change) var manualB=radiobutton("method","Manual","Manual",change) + var gfrobustB=radiobutton("method","GFRobust","GF Robust Parser",change) var dl=wrap_class("dl","popupmenu", [dt(autoB), - dt([manualB,text(" "),draw_translation(o)])]) + dt([manualB,text(" "),draw_translation(o)]), + dt(gfrobustB)]) if(window.apertium) add_apertium_to_menu(dl,change) t.extend_methods_menu(dl,change) var form=wrap("form",dl) |