Lines Matching full:search
2 Override the default searchbox from RTD theme to provide the ability to select a search method
3 (ex. built-in search, Google Custom Search, ...)
6 <div class="search-container" role="search">
7 <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get">
8 <input type="search" name="q" placeholder="{{ _('Search docs') }}"
9 aria-label="{{ _('Search docs') }}" />
11 <span id="search-se-settings-icon" class="fa fa-gear" role="button" tabindex="0"
12 title="Search settings" aria-label="Search settings"
13 aria-haspopup="true" aria-controls="search-se-menu" aria-expanded="false"
16 <div id="search-se-menu" role="menu" aria-labelledby="search-se-settings-icon">
18 <li id="search-se-menuitem-sphinx" role="menuitemradio" tabindex="-1"
19 aria-label="Built-in search" onclick="switchSearchEngine('sphinx')">
20 Built-in search <span class="fa fa-check">
22 <li id="search-se-menuitem-google" role="menuitemradio" tabindex="-1"
23 aria-label="Google search" onclick="switchSearchEngine('google')">
24 Google search <span class="fa fa-check">
35 var form = document.getElementById("rtd-search-form");
36 var searchMenu = document.getElementById("search-se-menu");
38 var preferenceKey = "search-se-" + (isBrowsingLatest ? "latest" : "default");
39 var query = new URLSearchParams(window.location.search).get("q");
46 // Load the saved search preference. Defaults to Google when browsing "/latest" documentation,
47 // built-in Sphinx search otherwise.
57 .getElementById("search-se-settings-icon")
69 form.action = "{{ pathto('search') }}";
70 form.q.placeholder = "Search docs (built-in search)";
73 form.q.placeholder = "Search docs (powered by Google)";
76 var selectedElement = document.getElementById("search-se-menuitem-" + engine);
78 "search-se-menuitem-" + (engine === "sphinx" ? "google" : "sphinx")
99 if (!event.target.matches("#search-se-settings-icon")) {