diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/minibar_input.js | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/www/minibar/minibar_input.js b/src/www/minibar/minibar_input.js index 67576c8e8..89fb8042e 100644 --- a/src/www/minibar/minibar_input.js +++ b/src/www/minibar/minibar_input.js @@ -38,12 +38,11 @@ function Input(server,translations,opts) { // Input object constructor if(options.random_button) buttons.appendChild(button("Random",bind(generate_random,t),"R")); - with(options) { - if(initial_grammar && initial && initial.from && initial.input) { - t.local=mi_local(initial_grammar) - t.local.put("from",initial.from) - t.local.put("current",initial) - } + var o=options; + if(o.initial_grammar && o.initial && o.initial.from && o.initial.input){ + t.local=mi_local(o.initial_grammar) + t.local.put("from",o.initial.from) + t.local.put("current",o.initial) } } |