diff options
| -rw-r--r-- | src/www/minibar/minibar.js | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index dd8831ee2..4c68173e9 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -201,13 +201,10 @@ Minibar.prototype.select_grammar=function(grammar_url) { Minibar.prototype.change_grammar=function(grammar_info) { var t=this; - with(t) { - //debug("show_languages "); - grammar=grammar_info; - - input.change_grammar(grammar) - translations.change_grammar(grammar) - } + //debug("show_languages "); + t.grammar=grammar_info; + t.input.change_grammar(grammar_info) + t.translations.change_grammar(grammar_info) } Minibar.prototype.show_grammarinfo=function() { @@ -281,7 +278,7 @@ Minibar.prototype.try_google=function() { } Minibar.prototype.open_help=function() { - with(this) open_popup(options.help_url,"help"); + open_popup(this.options.help_url,"help"); } Minibar.prototype.open_feedback=function() { |