diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-10 18:00:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-10 18:00:13 +0000 |
| commit | 68e2c0c0ebaad660103a6ccc2c792b49003bd556 (patch) | |
| tree | 15c3df34aea3be0dda41bbb1707a8352c612548c /src/www/minibar/minibar.js | |
| parent | 89b415ac37dd510dd5ca3cd7735707c87662d69b (diff) | |
minibar: internal state type change
The current intput is now represented as an array of words instead of as a
string.
(This is the kind of change is scary to do in a dynamically type language
like JavaScript. In a statically typed language like Haskell you can do it
with confidence, since you know the compiler can help you catch all mistakes...)
Diffstat (limited to 'src/www/minibar/minibar.js')
| -rw-r--r-- | src/www/minibar/minibar.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index 83a336434..466886865 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -164,8 +164,8 @@ Minibar.prototype.append_extra_buttons=function(extra,options) { Minibar.prototype.try_google=function() { with(this) { var to=translations.target_lang(); - var s=input.current.input; - if(input.surface.typed) s+=input.surface.typed.value; + var s=gf_unlex(input.current.input); + if(input.surface.typed) s+=" "+input.surface.typed.value; var url="http://translate.google.com/?sl=" +langpart(input.current.from,grammar.name); if(to!="All") url+="&tl="+to; @@ -198,7 +198,7 @@ function prefill_feedback_form() { var form=document.forms.namedItem("feedback"); setField(form,"grammar",gn); setField(form,"from",langpart(state.current.from,gn)); - setField(form,"input",state.current.input); + setField(form,"input",gf_unlex(state.current.input)); setField(form,"to",to); if(to=="All") element("translation_box").innerHTML=" To suggest a better translation to a particular language, select that language in the To: menu before pressing the Feedback button." else setField(form,"translation",trans.single_translation.join(" / ")); |
