diff options
Diffstat (limited to 'src/www/minibar/minibar_online.js')
| -rw-r--r-- | src/www/minibar/minibar_online.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/minibar/minibar_online.js b/src/www/minibar/minibar_online.js index 8ff10f7fb..0d7792e9d 100644 --- a/src/www/minibar/minibar_online.js +++ b/src/www/minibar/minibar_online.js @@ -21,7 +21,7 @@ var minibar_options= { try_google: true } -if(/^\?\/tmp\//.test(location.search)) { +if(/^\?\/(tmp|grammars)\//.test(location.search)) { var args=decodeURIComponent(location.search.substr(1)).split(" ") if(args[0]) online_options.grammars_url=args[0]; if(args[1]) minibar_options.initial_grammar=args[1]; |