From 7bcf05e3e7b3181c685d61102c435bac81d53e84 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 21 Nov 2012 19:01:52 +0000 Subject: [PATCH] minibar: fix bug introduced in previous update It could case JavaScript error ReferenceError: initial_grammar is not defined --- src/www/minibar/minibar_input.js | 11 +++++------ 1 file 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) } }