Remove obsolete switch_menu configuration item.

diff --git a/examples/htdocs/index-full.html b/examples/htdocs/index-full.html
index 0168239..45d6b7d 100644 (file)
--- a/examples/htdocs/index-full.html
+++ b/examples/htdocs/index-full.html
@@ -11,7 +11,6 @@
                lang: "da",
                debug: 1,
                use_service_proxy: true,
-               switch_menu: true,
                lang_menu: true,
                sort_default: "relevance",
                query_width: 50,