Lines Matching full:se
11 <span id="search-se-settings-icon" class="fa fa-gear" role="button" tabindex="0"
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"
22 <li id="search-se-menuitem-google" role="menuitemradio" tabindex="-1"
36 var searchMenu = document.getElementById("search-se-menu");
38 var preferenceKey = "search-se-" + (isBrowsingLatest ? "latest" : "default");
57 .getElementById("search-se-settings-icon")
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")) {