<script type="text/javascript">
var mkws_config = {
use_service_proxy: false, /* true, flase */
- switch: true, /* true, false */
+ switch_menu: true, /* true, false: show/hide Records|Targets menu */
+ lang_menu: true, /* true, false: show/hide language menu */
sort_default: "relevance", /* "relevance", "title:1", "date:0", "date:1" */
query_width: 50, /* 5..50 */
perpage_default: 20, /* 10, 20, 30, 50 */
perpage_default: 20,
query_width: 50,
switch_menu: true, /* show/hide Records|Targets menu */
+ lang_menu: true, /* show/hide language menu */
debug: 0, /* debug level for development: 0..2 */
dummy: "dummy"
}
mkws_set_lang(mkws_config);
- mkws_html_lang(mkws_config);
+ if (mkws_config.lang_menu)
+ mkws_html_lang(mkws_config);
// For some reason, doing this programmatically results in
// document.search.query being undefined, hence the raw HTML.